User's Guide

%

• How to Use GRÖBNER
  • Availability of GRÖBNER and SACLIB
  • Installation Procedure
  • Where to Locate the ``Gröbner-Directory''
  • Files and Directories
  • The Makefile
  • Input and Output
  • Sample Session
  • Using GRÖBNER in Your Own Application
• Polymorphism by Virtual Domains
  • The Problem of Code Repetition and Polymorphism
  • An Example: The Implementation of Monomials
  • What is a Virtual Domain?
  • Virtual Operations and Renaming Units
  • Virtual Data Types and Definition Units
  • Coercion Units
  • The Simulated Package Principle (SPP)
  • The Implementation of Monomials Using SPP
• 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
• Virtual Domains and Their Implementations
  • Lists
  • Coefficients
  • Power Products
  • The Domain of Polynomials
    • Structure of Polynomials
    • Representation of Pure Polynomials
  • Polynomial Sets
  • Domain Hierarchy
• Further Adjustments
  • Term Ordering
  • Pair Ordering
  • Normal Form Algorithm
• Global Variables
• Naming Conventions
  • Capitalization and Separation of Names
  • Types and Tags
  • Functions
  • Predicates
  • Variables