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.adjoint()

Array.determinant()

Array.inverse()