LexIdeals -- a package for working with lex ideals
Description
LexIdeals is a package for creating lexicographic ideals and lex-plus-powers (LPP) ideals. There are also several functions for use with the multiplicity conjectures of Herzog, Huneke, and Srinivasan.