Homogeneous Buchberger algorithms and Sullivant's computational commutative algebra challenge
arXiv:math/0508287
Abstract
We give a variant of the homogeneous Buchberger algorithm for positively graded lattice ideals. Using this algorithm we solve the Sullivant computational commutative algebra challenge.