Macaulay2 » Documentation
Packages » OIGroebnerBases » TopNonminimal
next | previous | forward | backward | up | index | toc

# 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.402031s (cpu); 0.295138s (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.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:2813:0.