isZero -- check if a free OI-module is zero

• Usage:

  isZero F

• Inputs:
  • F, an instance of the type FreeOIModule,
• Outputs:
  • a Boolean value,

i1 : P = makePolynomialOIAlgebra(2, x, QQ);

i2 : F = makeFreeOIModule(e, {1,2}, P);

i3 : G = makeFreeOIModule(d, {}, P);

i4 : isZero F

o4 = false

i5 : isZero G

o5 = true