#18030: Clean-up stdsage.pxi includes
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.6
Component: cython | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers: Peter Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/ticket/18030 | 5137c4b6e7c47067e535a91495c8bc8808f1f140
Dependencies: #18007 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vbraun):
* status: positive_review => needs_work
Comment:
{{{
Cythonizing sage/sat/solvers/cryptominisat/solverconf.pyx
Error compiling Cython file:
------------------------------------------------------------
...
cdef uint32_t *learnt1 =
get_unitary_learnts_helper(self._solver,&num)
r = []
for i in range(num):
r.append( (-1)**int(learnt1[i]&1) * (int(learnt1[i]>>1)+1) )
sage_free(learnt1)
^
------------------------------------------------------------
sage/sat/solvers/cryptominisat/cryptominisat.pyx:415:17: undeclared name
not builtin: sage_free
Error compiling Cython file:
------------------------------------------------------------
...
cdef uint32_t *learnt1 =
get_unitary_learnts_helper(self._solver,&num)
r = []
for i in range(num):
r.append( (-1)**int(learnt1[i]&1) * (int(learnt1[i]>>1)+1) )
sage_free(learnt1)
^
------------------------------------------------------------
sage/sat/solvers/cryptominisat/cryptominisat.pyx:415:25: Cannot convert
'uint32_t *' to Python object
Error compiling Cython file:
------------------------------------------------------------
...
r = []
for i in range(num):
clause = learnt[i]
C = [(-1)**int(clause[j]&1) * (int(clause[j]>>1)+1) for j in
range(1,clause[0]+1)]
sage_free(clause)
^
------------------------------------------------------------
sage/sat/solvers/cryptominisat/cryptominisat.pyx:427:28: Cannot convert
'uint32_t *' to Python object
Error compiling Cython file:
------------------------------------------------------------
...
for i in range(num):
clause = learnt[i]
C = [(-1)**int(clause[j]&1) * (int(clause[j]>>1)+1) for j in
range(1,clause[0]+1)]
sage_free(clause)
r.append(tuple(C))
sage_free(learnt)
^
------------------------------------------------------------
sage/sat/solvers/cryptominisat/cryptominisat.pyx:429:24: Cannot convert
'uint32_t **' to Python object
Traceback (most recent call last):
File "/mnt/disk/home/release/Sage/local/lib/python2.7/site-
packages/Cython-0.22-py2.7-linux-x86_64.egg/Cython/Build/Dependencies.py",
line 1003, in cythonize_one_helper
return cythonize_one(*m[1:])
File "/mnt/disk/home/release/Sage/local/lib/python2.7/site-
packages/Cython-0.22-py2.7-linux-x86_64.egg/Cython/Build/Dependencies.py",
line 985, in cythonize_one
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18030#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
