qepcad stopped working after updating to Sage 9.5
I recently updated from Sage 9.4 to Sage 9.5 (using the procedure described in https://ask.sagemath.org/question/431...). Everything seems to work normally. Then, I also installed qepcad again using sage -i qepcad
. The qepcad interface is now available in Sage (i.e., the methods qepcad_formula
, qepcad
, etc. exist and are found), but calling the method qepcad
with anything yields an error.
sage: qepcad(x > 0)
---------------------------------------------------------------------------
FileNotFoundError Traceback (most recent call last)
/tmp/ipykernel_6758/2242876628.py in <module>
----> 1 qepcad(x > Integer(0))
~/sage-9.2/local/lib/python3.9/site-packages/sage/interfaces/qepcad.py in qepcad(formula, assume, interact, solution, vars, **kwargs)
1636 return qe
1637 else:
-> 1638 qe.go()
1639 qe.go()
1640 qe.go()
~/sage-9.2/local/lib/python3.9/site-packages/sage/interfaces/qepcad.py in __getattr__(self, attrname)
1236 if attrname[:1] == "_":
1237 raise AttributeError
-> 1238 if attrname not in self._tab_completion():
1239 raise AttributeError
1240 return QepcadFunction(self, attrname)
~/sage-9.2/local/lib/python3.9/site-packages/sage/interfaces/qepcad.py in _tab_completion(self)
1157 True
1158 """
-> 1159 _update_command_info()
1160 return _command_info_cache.keys()
1161
~/sage-9.2/local/lib/python3.9/site-packages/sage/interfaces/qepcad.py in _update_command_info()
685 cache = {}
686
--> 687 with open(os.path.join(SAGE_LOCAL, 'share/qepcad', 'qepcad.help')) as help:
688 assert(help.readline().strip() == '@')
689
FileNotFoundError: [Errno 2] No such file or directory: '.../sage-9.2/local/share/qepcad/qepcad.help'
(Note that sage-9.2 is just the original folder name, the version is in fact "SageMath version 9.5, Release Date: 2022-01-30"). The same error appears if I try the example from the documentation (https://doc.sagemath.org/html/en/refe...). Did something go wrong in my personal installation of Sage or qepcad or is this some bug of the recent Sage version?
Thanks!