Macaulay2 » Documentation
Packages » EagonResolution :: CompressBeta
next | previous | forward | backward | up | index | toc

CompressBeta -- CompressBeta is an option for eagon, default is true

Description

eagonBeta(E,i) := E#{"eagonBeta",n,0} is defined by lifting another map along the map dVert^n_i. If CompressBeta => true, the default, then the lifting uses the smallest initial subsequence of the blocks of source dVert as possible, and thus the columns of picture eagonBeta(E,i) will have fewer nonzero entries. if Verbose =>true, then data about the usage is printed.

i1 : R = ZZ/101[x,y,z]/ideal"x3,y3,z3"

o1 = R

o1 : QuotientRing
 
i2 : E = eagon(R,4,CompressBeta =>true, Verbose =>true);
Used 1 of 1 blocks of eagonBeta (2, 1)
Used 1 of 1 blocks of eagonBeta (2, 2)
Used 1 of 1 blocks of eagonBeta (2, 3)
Used 1 of 1 blocks of eagonBeta (2, 4)
Used 2 of 2 blocks of eagonBeta (3, 1)
Used 2 of 2 blocks of eagonBeta (3, 2)
Used 1 of 2 blocks of eagonBeta (3, 3)
Used 1 of 1 blocks of eagonBeta (3, 4)
Used 3 of 3 blocks of eagonBeta (4, 1)
Used 3 of 3 blocks of eagonBeta (4, 2)
Used 1 of 2 blocks of eagonBeta (4, 3)
Used 1 of 1 blocks of eagonBeta (4, 4)

See also

Functions with optional argument named CompressBeta:

  • eagon(...,CompressBeta=>...) -- see eagon -- compute the Eagon double complex

For the programmer

The object CompressBeta is a symbol.

The source of this document is in EagonResolution.m2:1323:0.