and now a module of Epsilon

CharSets is a Maple package developed by Dongming Wang on the basis of Wu-Ritt's method of characteristic sets. The first version CharSets 1.0 was made publicly available with Maple's share library in early 1991. Three subsequent versions 1.1, 1.2, and 2.0 were also distributed. The current version is CharSets 2.2. The early versions of CharSets were implemented for computing characteristic sets and various zero decompositions of polynomial systems and other related polynomial calculations. Their capabilities include

- computing (modified) characteristic sets of polynomial sets (in different senses),
- decomposing polynomial sets into ascending sets and into irreducible and quasi-irreducible ascending sets,
- decomposing algebraic varieties into irreducible components,
- decomposing polynomial ideals into primary components,
- solving systems of polynomial equations, and
- factorizing multivariate polynomials over algebraic extension fields.

Excerpts with modification from

Last Modification: June 18, 2003