Macaulay2 » Documentation
Packages » Macaulay2Doc » matrices » diff and contract » contract'(Matrix,Matrix)
next | previous | forward | backward | up | index | toc

# contract'(Matrix,Matrix) -- contract a matrix by a matrix, the dual notion

- Function: contract'
- Usage:
    `h = contract'(m,n)`
- Inputs:
  - m, a matrix, a map m : F <--- P between free modules of ranks f and p.
  - n, a matrix, a map n : G <--- Q between free modules of ranks g and q.
- Outputs:
  - h, a matrix, a matrix with the shape h : F ** dual G <--- P ** dual Q, whose entry in the slot hg*i+j,q*k+l is the result of contracting mi,k, by nj,l.

## Description

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

## See also

- contract -- contract one matrix by another
- diff and contract

## Ways to use this method:

- contract'(Matrix,Matrix) -- contract a matrix by a matrix, the dual notion

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Macaulay2Doc/functions/contract-doc.m2:62:0.