Difference between revisions of "Array.buckets()"
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 72: | Line 72: | ||
| class="sshl_f" | 3 | | class="sshl_f" | 3 | ||
|} | |} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Array.allslices()|AllSlices]] | ||
| + | *[[Array.inner() | Inner]] | ||
| + | *[[Array.outer() | Outer]] | ||
| + | *[[Array.chunks()|Chunks]] | ||
Latest revision as of 07:22, 13 February 2020
Buckets
- 1..10.buckets() returns an object with key frequency pairs.
| "1": 1, | |
| "2": 1, | |
| "3": 1, | |
| "4": 1, | |
| "5": 1, | |
| "6": 1, | |
| "7": 1, | |
| "8": 1, | |
| "9": 1, | |
| "10": 1, |
- a=1..10.fillwith(1..3).buckets()
| "1": 4, | |
| "2": 3, | |
| "3": 3, |
- a=1..10.fillwith(1..3).buckets();
b=FLATTENOBJECT(a);
| 1 | 4 | |
| 2 | 3 | |
| 3 | 3 |