Difference between revisions of "Array.$diag()"
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
| − | ==Array.$diag( | + | ==Array.$diag(Function|Array of Functions[,param1,param2,...]) == |
| − | + | Applies the functions given as the second parameter on the proper diagonal. | |
| + | |||
| + | Same as [[ Array.$d() | Array.$d()]] | ||
| + | |||
| + | ==Related Functions== | ||
| + | [[ Array.diagonal() | Array.diagonal()]] | ||
Latest revision as of 11:11, 10 April 2020
Array.$diag(Function|Array of Functions[,param1,param2,...])
Applies the functions given as the second parameter on the proper diagonal.
Same as Array.$d()