Revision history [back]
 | 1 | initial version |
As a workaround you can perform a suitable substitution with regular expression - e.g.:
result = qepcad(qf.exists(x,F3))
import re
print( re.sub(r'(\w) (\w)',r'\1 * \2',result) )
gives
a - 1 /= 0 /\ a + 1 /= 0 /\ b /= 0 /\ r - 11 /= 0 /\ r + 11 /= 0 /\ [ a^4 * r^4 - 2 * a^4 * b^2 * r^2 + 2 * a^2 * b^2 * r^2 - 442 * a^4 * r^2 + a^4 * b^4 - 2 * a^2 * b^4 + b^4 + 42 * a^4 * b^2 - 42 * a^2 * b^2 + 48841 * a^4 < 0 \/ [ a - 1 > 0 /\ a^2 * r^2 - a^2 * b^2 + b^2 - 221 * a^2 > 0 ] \/ [ a + 1 < 0 /\ a^2 * r^2 - a^2 * b^2 + b^2 - 221 * a^2 > 0 ] \/ [ a^2 * b^2 - b^2 - 100 * a^2 > 0 /\ r - 11 > 0 ] \/ [ a^2 * b^2 - b^2 - 100 * a^2 > 0 /\ r + 11 < 0 ] ]
