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

Usage:

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

Description

This method verifies that an OI-resolution is indeed a complex. The Verbose option must be either true or false, depending on whether one wants debug information printed.

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.350982s (cpu); 0.301276s (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

Ways to use isComplex:

isComplex(OIResolution)

For the programmer

The object isComplex is a method function with options.

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:2838:0.