Question: Rational functions and CylindricalAlgebraicDecompose

Maybe a bit strange question (just exploring Maple and a new topic), but is there a way to use CylindricalAlgebraicDecompose with a rational functions, eg 1/x, where eg is x an integer? I tried to use it but always ended up with:

 

Error, invalid input: RegularChains:-SemiAlgebraicSetTools:-CylindricalAlgebraicDecompose expects its 1st argument, F, to be of type Or(list(list(Or(polynom(rational), polynom(rational) = polynom(rational), polynom(rational) <> polynom(rational), polynom(rational) <= polynom(rational), polynom(rational) < polynom(rational)))), list(polynom(rational))), but received [1/x = x, polynom(rational)]

Please Wait...