Revision history [back]

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]