- Triangularizar sistemas de polinomios (diferenciales) con múltiples variables.
- Descomposición de sistemas polinomiales en sistemas triangulares de varios tipos (regular, normal, simple, irreducible o con propiedad proyectiva).
- Descomposición de variedades algebraicas en subvariedades irreducibles o no mixtas.
- Descomposición de ideales de polinomios en ideales primos.
- Factorización de polinomios sobre cuerpos de extensiones algebraicas.
- Resolución de sistemas de ecuaciones e inecuaciones polinomiales, y manipulación y demostración automática de teoremas geométricos.
La librería se encuentra disponible de forma gratuita para uso académico y no comercial, y viene acompañada con documentación, ejemplos y documentos de Maple.