CylindricalAlgebraicDecompositionUtilities(R, P)

cyldec.spad line 6 [edit on github]

• R : GcdDomain
• P : UnivariatePolynomialCategory(R)

undocumented

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