CylindricalAlgebraicDecompositionPackage TheFieldΒΆ

cyldec.spad line 260

undocumented

coefficientSet: SparseUnivariatePolynomial Polynomial TheField -> List Polynomial TheField

cylindricalDecomposition: (List Polynomial TheField, List Symbol) -> List Cell TheField
cylindricalDecomposition(lp, lv) computes cylindrical decomposition of lp in using variable order given by lv
cylindricalDecomposition: List Polynomial TheField -> List Cell TheField
cylindricalDecomposition(lp) is cylindricalDecomposition(lp, lv) where lv is list of variables in lp.

discriminantSet: List SparseUnivariatePolynomial Polynomial TheField -> List Polynomial TheField

principalSubResultantSet: (SparseUnivariatePolynomial Polynomial TheField, SparseUnivariatePolynomial Polynomial TheField) -> List Polynomial TheField

projectionSet: List SparseUnivariatePolynomial Polynomial TheField -> List Polynomial TheField
projectionSet(lup) performs one projection step

resultantSet: List SparseUnivariatePolynomial Polynomial TheField -> List Polynomial TheField

specialise: (List Polynomial TheField, Cell TheField) -> List SparseUnivariatePolynomial TheField
specialise(lp, c) specializes all p in lp to the sample point of c.