Revision history [back]

WorksForMe(TM) on 9.2.rc0 and a freshly installed qepcad:

sage: %time qepcad(-k^2+6*k*m-9*m^2+1>0)
CPU times: user 8.24 ms, sys: 15.8 ms, total: 24 ms
Wall time: 73.4 ms
3 m - k - 1 < 0 /\ 3 m - k + 1 > 0

However, pastingwhat you have posted :

sage: qepcad(-k**2 + 6*k*m - 9*m**2 + 1​ > 0)
  File "<ipython-input-28-63512fea48a6>", line 1
    qepcad(-k**Integer(2) + Integer(6)*k*m - Integer(9)*m**Integer(2) + Integer(1)​ > Integer(0))
                                                                                  ^
SyntaxError: invalid character in identifier

Isn't there an invisible typo ? (Thank Unicode for all those exotic character indiscernible from honest-to-god ASCII to the naked eye...). emacs shows me a zero-width character after the final "1" of the left hand side of your formula. Eliminating it allows to compute the (same) result...