So I'm using Martin Albrecht's *anf2cnf.py *script which relies on
`tmp_filename()` function to store the CNF representation of a polynomial
system. SAGE 5.0 returns the following path and file name:
sage: tmp_filename()
'/home/zoresvit/.local/share/sage///temp/shekel/27631//tmp_13'
The script crashes because of incorrect path:
sage: solver = ANFSatSolver(f.ring())
sage: solver(f)
---------------------------------------------------------------------------
IOError Traceback (most recent call last)
/home/zoresvit/devel/algebraic-analysis/<ipython console> in <module>()
/home/zoresvit/devel/algebraic-analysis/anf2cnf.py in __call__(self, F, **
kwds)
407 break
408
--> 409 res = open(on).read()
410 if res.startswith("UNSAT"):
411 return False, t
IOError: [Errno 2] No such file or directory:
'/home/zoresvit/.local/share/sage///temp/shekel/30287//tmp_2'
How to fix the problem with `tmp_filename()`?
sage: version()
'Sage Version 5.0, Release Date: 2012-05-14'
Thanks.
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
