Difference between revisions of "Array.deal()"
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...") |
(No difference)
|
Revision as of 15:17, 4 February 2020
Array.deal(Within, ManyInEach)
Generates random numbers Within each element of the array.
Example
1..10.deal(2,2)
0.45677381167282016 1.2912210146678946
1.678483078175954 0.9940817473692731
0.8495981147041207 0.17188764131356393
0.19869837520315192 0.037560712198077884
0.48625925520002866 0.15362671888356427
0.33311439231642925 0.4404768956915861
0.20958448207718217 0.7455564717395715
0.3682225743396961 0.3640860010269864
0.5991209271170721 1.2294092172845525
0.6372388604935781 1.0256391312143203
Same as Array.deletecolumn()