![]() | 1 | initial version |
Sorry, already got it. For anyone else needing this at some point, there is the function qformula
which can be used. The example above then yields
sage: from sage.interfaces.qepcad import qformula
sage: var("a,b")
sage: formula = qepcad(a+b==0)
sage: qepcad_formula.exists(b,qformula(formula,frozenset(['a','b'])))
(E b)[b + a = 0]