The Epsilon library consists of the following eight modules:
- epsilon - functions selected from other modules
- charsets
- functions for doing computations
with Wu-Ritt's characteristic sets of polynomial sets
- dcharsets - functions for doing computations with
Wu-Ritt's characteristic sets of ordinary differential polynomial sets
- trisys - functions for decomposing polynomial systems into
triangular systems (with or without projection) and into irreducible
triangular systems, decomposing algebraic varieties into irreducible
components, testing radical ideal membership, and solving systems of
polynomial equations and inequations
- dtrisys - functions for decomposing ordinary
differential polynomial systems into differential triangular systems
(with or without projection) and into irreducible differential triangular
systems, and testing differential radical ideal membership
- sisys - functions for decomposing polynomial systems into
triangular systems, regular systems, simple systems, or irreducible
triangular systems, decomposing algebraic varieties into irreducible
or unmixed components, and solving systems of polynomial equations
and inequations
- geother
- functions for handling and proving geommetric theorems automatically
- miscel - miscellaneous functions for computing normal
triangular sets, bivariate Bézout resultants, Macaulay resultants
of homogeneous polynomials, subresultant chains, implicit equations
of rational surfaces, and Liapunov constants of plane differential
systems
Last Modification: June 18, 2003