tallies the sequences of B-ranks that occur for sums of pairs of monomials in R = S/(d-th powers of the variables), with full complexity (=c); that is, for an appropriate syzygy M of M0 = R/(m1+m2) where m1 and m2 are monomials of the same degree.
i1 : sumTwoMonomials(2,3)
-- used 0.291359 seconds
2
Tally{{{2, 2}, {1, 2}} => 3}
-- used 0.0936402 seconds
3
Tally{{{2, 2}, {1, 2}} => 1}
-- used 8.16e-7 seconds
4
Tally{}
|