Array.across()

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

Array.across(SomeOtherArray, SomeFunction)

Array across operation. Use the function to merge the two pairs. Operates like a tensor multiplication.

a=MS(3)

b=MS(3)~

a.across(b);

Returns the across elements of Magic Square(3) and its Transpose.

See Also

X$

$X