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) |
The object CompressBeta is a symbol.