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

## Synopsis

• Usage:
E = eagon(R,b,CompressBeta =>bool1, Verbose =>bool2)
• Inputs:
• Outputs:

## 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)