Array.adjoint()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.adjoint(OtherArray)

Calculates adjoint of this array, or OtherArray (if provided)

MAGICSQUARE(3).adjoint()

37	-38	-23
-68	-8	52
6.999999999999999	22	-53

See also Array.determinant()