isComplex -- verify that an OI-resolution is a complex

Synopsis

• Usage:

  isComplex C

• Inputs:
  • C, an instance of the type OIResolution,
• Optional inputs:
  • Verbose => ..., default value false
• Outputs:
  • a Boolean value,

Description

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

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

i3 : installGeneratorsInWidth(F, 2);

i4 : b = x_(1,2)*x_(1,1)*e_(2,{2},1)+x_(2,2)*x_(2,1)*e_(2,{1},2);

i5 : time C = oiRes({b}, 2, TopNonminimal => true)
 -- used 0.246399s (cpu); 0.195168s (thread); 0s (gc)

o5 = 0: (e0, {2}, {-2})
     1: (e1, {4}, {-4})
     2: (e2, {4, 5, 5, 5, 5, 5}, {-4, -5, -5, -5, -5, -5})

o5 : OIResolution

i6 : isComplex C

o6 = true