CylindricalAlgebraicDecompositionPackage(TheField)

cyldec.spad line 264 [edit on github]

• TheField : RealClosedField

undocumented

coefficientSet : SparseUnivariatePolynomial(Polynomial(TheField)) -> List(Polynomial(TheField))

cylindricalDecomposition : List(Polynomial(TheField)) -> List(Cell(TheField))

cylindricalDecomposition(lp) is cylindricalDecomposition(lp, lv) where lv is list of variables in lp.

cylindricalDecomposition : (List(Polynomial(TheField)), List(Symbol)) -> List(Cell(TheField))

cylindricalDecomposition(lp, lv) computes cylindrical decomposition of lp in using variable order given by lv

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.