这个包可以直接在maple中调用,比maple中自带的那个包的功能更全,包括可以用于量词消去的QuantifierElimination函数,该函数在RegurlaChain中的SemiAlgebraicSetTools中。