TopNonminimal -- option for minimizing the top Gröbner basis of an OI-resolution

Description

Used as an optional argument in the oiRes method. The TopNonminimal option must be either true or false, depending on whether one wants the Gröbner basis in homological degree $n-1$ to be minimized. Therefore, use TopNonminimal => true for no minimization of the basis in degree $n-1$.

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 oiRes({b}, 2, TopNonminimal => true)
 -- used 0.57498s (cpu); 0.424429s (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

Functions with optional argument named TopNonminimal :

oiRes(...,TopNonminimal=>...) -- see oiRes -- compute an OI-resolution

For the programmer

The object TopNonminimal is a symbol.