Monoid ** Monoid -- tensor product of monoids

Monoid ** Monoid -- tensor product of monoids

Synopsis:

Operator: ** -- a binary operator, usually used for tensor product

Input:

an instance of class Monoid.

Output:

an instance of class Monoid.

M ** N -- tensor product of monoids.

For complete documentation, see tensor.

Code:

     -- ../../../Macaulay2/m2/ofcm.m2:471
     Monoid ** Monoid := Monoid => (M,N) -> tensor(M,N)