Array.deal()
Revision as of 15:17, 4 February 2020 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
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()