contract(Matrix,Matrix) -- contract a matrix by a matrix

contract(Matrix,Matrix) -- contract a matrix by a matrix

Synopsis:

Usage: h = contract(m,n)

Function: contract -- contract one matrix by another

Input:

m, an instance of class Matrix: a map m : F <--- P between free modules of ranks f and p.

n, an instance of class Matrix: a map n : G <--- Q between free modules of ranks g and q.

Output:

h, an instance of class Matrix: a matrix with the shape h : dual F ** G <--- dual P ** Q, whose entry in the slot h_g*i+j,q*k+l is the result of contracting n_j,l by m_i,k.

This function is identical to diff(Matrix,Matrix), except that the multiplication by integers that occurs during differentiation is omitted.

See also:

diff and contract

Code:

     -- ../../../Macaulay2/m2/matrix.m2:460
     contract (Matrix, Matrix) := Matrix => (f,g) -> (BinaryMatrixOperation ggcontract)(f,g)