A file that can be read into Maple, which loads three functions 'convertQEtoRC','convertQEtoSyNRAC', c'onvertQEtoQEPCAD' which will convert a QE example written in 'QuantifierElimination' format to that of RegularChains, SyNRAC, or QEPCAD respectively. Note that the Quantifier Elimination procedure in RegularChains is RegularChains:-SemiAlgebraicSetTools:-QuantifierElimination. Note that these functions require the original problem in prenex form. Note QEPCAD will accept redirection of a problem