M ** R
R ** M
tensor(M, R)
tensor(R, M)
If the ring of $M$ is a base ring of $R$ then the matrix presenting the module will be simply promoted (see promote). Otherwise, a ring map from the ring of M to R will be constructed by examining the names of the variables, as described in map(Ring,Ring).
|
|
|
The source of this document is in Macaulay2Doc/functions/tensor-doc.m2:429:0.