Difference between revisions of "Array.multiply"
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 4: | Line 4: | ||
| − | ==Array. | + | ==Array.multiply(Thing) == |
Array add a Thing to each element. | Array add a Thing to each element. | ||
Latest revision as of 11:51, 1 March 2017
Array.multiply(Thing)
Array add a Thing to each element.
[[1,3,4],[2,3,4]].multiply(45)
| 45 | 135 | 180 |
| 90 | 135 | 180 |