Difference between revisions of "Array.determinant()"

From ZCubes Wiki
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 7: Line 7:
  
 
Calculate the determinant of this array.
 
Calculate the determinant of this array.
 +
 +
[[2,3],[3,4]].det()
 +
 +
-1
  
 
Same as [[Array.det()]]
 
Same as [[Array.det()]]

Revision as of 15:26, 4 March 2017


Array.determinant()

Calculate the determinant of this array.

[[2,3],[3,4]].det()

-1

Same as Array.det()