groebner

Central interface for accessing and using different backends for Groebner basis computations.

Depending on the chosen backend for Groebner basis computations (via ACSVSettings.set_default_groebner_backend(), allowed values are given in ACSVSettings.Groebner) the members of this module delegate their computations to the available computational backends:

• backends.default

• backends.macaulay2

sage_acsv.groebner.compute_groebner_basis(ideal)

Return a Groebner basis of an ideal.

Delegates the computation to the backend set in ACSVSettings.

INPUT:

• ideal - A polynomial ideal

sage_acsv.groebner.compute_primary_decomposition(ideal)

Return the primary decomposition of an ideal.

Delegates the computation to the backend set in ACSVSettings.

INPUT:

• ideal - A polynomial ideal

sage_acsv.groebner.compute_radical(ideal)

Return the radical of an ideal.

Delegates the computation to the backend set in ACSVSettings.

INPUT:

• ideal - A polynomial ideal

sage_acsv.groebner.compute_saturation(ideal_I, ideal_J)

Return the saturation of ideal I with respect to ideal J.

INPUT:

• ideal_I - A polynomial ideal

• ideal_J - A polynomial ideal