M ** N
tensor(M, N)
If $M$ has generators $m_1, $m_2, \dots, $m_r$, and $N$ has generators $n_1, n_2, \dots, n_s$, then $M \otimes N$ has generators $m_i\otimes n_j$ for $0<i\leq r$ and $0<j\leq s$.
|
|
|
|
|
Use trim or minimalPresentation if a more compact presentation is desired.
Use flip to produce the isomorphism $M \otimes N \to N \otimes M$.
To recover the factors from the tensor product, use the function formation.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Macaulay2Doc/functions/tensor-doc.m2:429:0.