A multigraded Betti tally is a special type of BettiTally that is printed as a diagram of the multigraded Betti numbers. The class was created so that the method multigraded(BettiTally) could return something that both prints nicely and from which information could be extracted. The content of a multigraded Betti tally is identical to the Betti tally from which it was constructed.
|
|
|
By default the data is presented as a table of polynomials where each column corresponds to a given homological degree appearing as the top entry and each monomial in the other entries represents the multidegree of a given summand.
When compactMatrixForm is set to false, the entries represent the multidegree of summands ordered by the total weight. The number of summands corresponding to a given multidegree appears to the left of the multidegree.
|
|
For convenience, various operations on BettiTally such as direct sum (++), tensor product (**), pdim and degree shifting (numbers in brackets or parentheses) are extended to work with multigraded Betti tables. These operations mimic the corresponding operations on chain complexes.
|
|
|
|
|
|
|
This feature was implemented by Mahrud Sayrafi based on earlier work by Gregory G. Smith.
The object MultigradedBettiTally is a type, with ancestor classes BettiTally < VirtualTally < HashTable < Thing.