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

Synopsis

Usage:

E = eagon(R,b,CompressBeta =>bool1, Verbose =>bool2)
Inputs:
- R, a ring,
- b, an integer,
- bool1, a Boolean value,
- bool2, a Boolean value,
Outputs:
- E, an instance of the type EagonData,

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)

Functions with optional argument named CompressBeta:

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

For the programmer

The object CompressBeta is a symbol.

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

Synopsis

Description

See also

Functions with optional argument named CompressBeta:

For the programmer