CylindricalAlgebraicDecompositionPackage TheFieldΒΆ

cyldec.spad line 264 [edit on github]

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.