GroebnerLex Command

From GeoGebra Manual
Jump to: navigation, search


CAS Syntax

GroebnerLex[ <List of Polynomials> ]
Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the variables (also known as lex, plex or pure lexical ordering).
Example:
GroebnerLex[{x^3-y-2,x^2+y+1}] yields {\mathrm{\mathsf{ y^{3} + 4 y^{2} + 7 y + 5, x - y^{2} - 3 y - 3 }}}.
GroebnerLex[ <List of Polynomials>, <List of Variables> ]
Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the given variables (also known as lex, plex or pure lexical ordering).
Example:
GroebnerLex[{x^3-y-2,x^2+y+1},{y,x}] yields {\mathrm{\mathsf{ -x^{3} - x^{2} + 1, -y - x^{2} - 1 }}}.
Note: See also GroebnerDegRevLex 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