CylindricalAlgebraicDecompositionUtilities(R, P)ΒΆ

cyldec.spad line 6 [edit on github]

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