Struct SystemSolver 

pub struct SystemSolver {
    pub basis: ReducedGroebnerBasis,
}

A zero-dimensional ideal solver: finds the finite solution set of a system.

Uses the shape lemma and univariate factoring after change of coordinates.

Fields

basis: ReducedGroebnerBasis

The Gröbner basis of the zero-dimensional ideal.

Implementations

impl SystemSolver

pub fn new(basis: ReducedGroebnerBasis) -> Self

Create a new solver from a reduced Gröbner basis.

pub fn num_solutions(&self) -> usize

Count the number of solutions (= degree of the ideal) via the Hilbert function.

For a zero-dimensional ideal, H(I, t) stabilizes to deg(I).