CylindricalAlgebraicDecompositionUtilities(R, P)ΒΆ

cyldec.spad line 6

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