Difference between revisions of "Array.$dth()"
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 6: | Line 6: | ||
==Array.$dth(nthDiagonalIndex,Function|Array of Functions[,param1,param2,...]) == | ==Array.$dth(nthDiagonalIndex,Function|Array of Functions[,param1,param2,...]) == | ||
| − | + | Applies the functions given as the second parameter on the diagonal at nthDiagonalIndex (-ve for diagonals below the proper diagonal, and zero for the proper diagonal), and | |
Same as [[ Array.$diag() | Array.$diag()]] for proper diagonal | Same as [[ Array.$diag() | Array.$diag()]] for proper diagonal | ||
Latest revision as of 11:08, 10 April 2020
Array.$dth(nthDiagonalIndex,Function|Array of Functions[,param1,param2,...])
Applies the functions given as the second parameter on the diagonal at nthDiagonalIndex (-ve for diagonals below the proper diagonal, and zero for the proper diagonal), and
Same as Array.$diag() for proper diagonal