{-
For Quantifier Elimination:

off nat; -- pretty-printing switch
load redlog;
rlset reals;

rlqe(exp...);
-}


{- ----------------------------------------------------------------------
Reduce Pretty Printing
---------------------------------------------------------------------- -}

exportExps :: [EXPRESSION] -> String
exportExps l = intercalate "," $ map exportExp l
exportExps :: [EXPRESSION] -> String
exportExps l = intercalate "," $ map exportExp l
exportExps l = intercalate "," $ map exportExp l