GradedModule ** Module -- a binary operator, usually used for tensor product or Cartesian product

Synopsis

• Operator: **
• Usage:
C ** M
• Inputs:
• C,
• M,
• Outputs:
• , the tensor product of C with M

Description

 i1 : C = gradedModule(ZZ^1,ZZ^6,ZZ^2) 1 o1 = 0 : ZZ 6 1 : ZZ 2 2 : ZZ o1 : GradedModule i2 : C ** ZZ^3 3 o2 = 0 : ZZ 18 1 : ZZ 6 2 : ZZ o2 : GradedModule i3 : betti oo 0 1 2 o3 = total: 3 18 6 -2: . . 6 -1: . 18 . 0: 3 . . o3 : BettiTally

It also works the other way around.

 i4 : ZZ^3 ** C 3 o4 = 0 : ZZ 18 1 : ZZ 6 2 : ZZ o4 : GradedModule