CylindricalAlgebraicDecompositionUtilities(R, P)

cyldec.spad line 6 [edit on github]

• R: GcdDomain

• P: UnivariatePolynomialCategory R

These are some standard tools which are needed to compute with univariate polynomials.

gcdBasis: List P -> List P

gcdBasis(lp) computes gcd basis of lp

squareFreeBasis: List P -> List P

squareFreeBasis(lp) computes gcd basis of square-free parts of elements of lp