Difference between revisions of "Array.tail()"
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.cdr()]] | Same as [[Array.cdr()]] | ||
+ | |||
+ | A=20..30; | ||
+ | A.tail() | ||
+ | |||
+ | 21 22 23 24 25 26 27 28 29 30 | ||
+ | |||
+ | A=(-10)..10; | ||
+ | A.tail() | ||
+ | |||
+ | -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]] |
Revision as of 09:20, 22 April 2020
Array.tail()
Get the tail of the array, without the first element.
Same as Array.cdr()
A=20..30; A.tail()
21 22 23 24 25 26 27 28 29 30
A=(-10)..10; A.tail()
-9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10