A command proposal: RealQuantifierElimination
Important hints
- Always add a space after the quantified variable.
- Only polynomials are accepted as expressions.
- Equations must be written in parentheses. Always.
- Alt-V and Alt-X are your friends to type \(\forall\) and \(\exists\).
- Implication, negation, disjunction and conjunction have no shortcuts yet, please use either the virtual keyboard or the alternatives like ->, !, || and &&.
|
Zoltán Kovács Linz School of Education Johannes Kepler University Altenberger Strasse 69 A-4040 Linz |