Documentation

Solving a multivariate polynomial system. It can be performed

• from a computation of the eigenvectors of an operator of multiplication in the quotient (see \cite{}).
• by elimination of variables, resolution of a univariate polynomial and substitution.

This Algorithm has no child classes.