Uniform Gröbner Bases for Ideals Generated by Polynomials with Parametric Exponents
Résumé
This paper presents a method for computing uniform Gröbner bases for certain ideals generated by polynomials with parametric exponents. The method proceeds by replacing monomials involving parametric exponents in the generators of an ideal with new variables, computing the reduced Gröbner basis for the resulting ideal with respect to a special monomial order, and then verifying whether the leading monomial ideal of the Gröbner basis satisfies some consistency conditions according to two criteria (of which one is derived from Buchberger graphs). When the consistency conditions are verified, a uniform Gröbner basis for the original ideal is obtained by substituting the new variables back to original monomials. The effectiveness and practical value of the method are demonstrated by its application to a family of ideals coming from the modeling of biological systems.