12896 3 37463 document 12896 QuantifierEliminationConversionTools.mpl text/plain e46a3d945025fbe077d07ca83f7fd8d2 MD5 3641 2019-12-04 16:43:44 https://researchdata.bath.ac.uk/746/10/QuantifierEliminationConversionTools.mpl 746 10 10 text/plain other 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 en public cc_mit

QuantifierEliminationConversionTools.mpl

code