Difference between revisions of "Array.cdr()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| Line 9: | Line 9: | ||
Same as [[Array.tail()]] | Same as [[Array.tail()]] | ||
| + | |||
| + | A=20..30; A.cdr() | ||
| + | |||
| + | |||
| + | 21 22 23 24 25 26 27 28 29 30 | ||
| + | |||
| + | A=(-10)..10; A.cdr() | ||
| + | |||
| + | |||
| + | -9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10 | ||
| + | |||
| + | |||
| + | ==See Also== | ||
| + | [[Array.car() |car]] | ||
| + | |||
| + | [[Array.head() |head]] | ||
Latest revision as of 09:29, 22 April 2020
Array.cdr()
Get the tail of the array, without the first element.
Same as Array.tail()
A=20..30; A.cdr()
21 22 23 24 25 26 27 28 29 30
A=(-10)..10; A.cdr()
-9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10