GroebnerDegRevLex Command

From GeoGebra Manual
Jump to: navigation, search


CAS Syntax

GroebnerDegRevLex( <List of Polynomials> )
Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the variables (also known as total degree reverse lexicographic ordering, degrevlex or grevlex ordering).
Example: GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}) yields {\mathrm{\mathsf{ y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 }}}.
GroebnerDegRevLex( <List of Polynomials>, <List of Variables> )
Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the given variables (also known as total degree reverse lexicographic ordering, degrevlex or grevlex ordering).
Example: GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}, {y, x}) yields {\mathrm{\mathsf{ x^{2} + y + 1, y x + y + x + 2, y^{2} + 3 y - x + 3 }}}.
Note: See also GroebnerLex and GroebnerLexDeg commands.
  • GeoGebra
  • Help
  • Partners
  • Contact us
    • Feedback & Questions
    • This email address is being protected from spambots. You need JavaScript enabled to view it.
    • +43 677 6137 2693
© 2017 International GeoGebra Institute