Epsilon is a library of functions implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications. It has 8 modules and contains more than 70 functions, which allow one to

- triangularize systems of multivariate (differential) polynomials,
- decompose polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible, or with projection property),
- decompose algebraic varieties into irreducible or unmixed subvarieties,
- decompose polynomial ideals into primary components,
- factorize polynomials over algebraic extension fields,
- solve systems of polynomial equations and inequations, and
- handle and prove geometric theorems automatically.

http://www-calfor.lip6.fr/~wang/epsilon

for download. Epsilon is completely free for academic and noncommercial use.

Last Modification: June 18, 2003