Data Types in GRÖBNER

 

• Basic Data Types
• Boolean Constants
• Miscellaneous Functions
  • Unary Predicate
  • Binary Predicate
  • Unary Function
  • Binary Function
• Lists (iterative implementation)
• Lists (recursive implementation)
• Integers
• Rational Numbers
• Rational Functions
• Finite Fields
• Exponent Lists
• Monomials
• Distributive Polynomials in List Representation
• Polynomials with Cofactors
• Labeled Polynomials
• Lists of Polynomials
• Polynomial Pairs
• Sets of Polynomial Pairs
• Syzygies