#11339: Illegal use of __deallocate__ in cython (pyx) code
-----------------------------------------------+----------------------------
Reporter: gagern | Owner: drkirkby
Type: defect | Status: needs_work
Priority: critical | Milestone: sage-4.7.2
Component: algebra | Keywords: sd31
Work_issues: Rebase on Sage 4.7.2.alpha2. | Upstream: N/A
Reviewer: François Bissey, Steven Trogdon | Author: Volker Braun,
Martin von Gagern
Merged: | Dependencies:
-----------------------------------------------+----------------------------
Comment(by strogdon):
Aside from the segfaults, with the new patches I get the following
additional failurers. The failures "seem" to be associated with the
patches in that I don't get them when I use Martin's patches.
amd64:
{{{
sage -t -long -force_lib devel/sage-
trans_16037.16051/sage/misc/sageinspect.py
sage -t -long -force_lib devel/sage-
trans_16037.16051/sage/schemes/plane_conics/con_field.py
sage -t -long -force_lib devel/sage-
trans_16037.16051/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py
}}}
x86:
{{{
sage -t -long -force_lib devel/sage-
trans_16037.16051/sage/misc/sageinspect.py
sage -t -long -force_lib devel/sage-
trans_16037.16051/sage/schemes/plane_conics/con_field.py
}}}
Here is a brief summary of the failures.
sageinspect.py (partial output given):
{{{
Expected:
(['cdef class
MPolynomialRing_libsingular(MPolynomialRing_generic):\n',
" def __init__(self, base_ring, n, names, order='degrevlex'):\n",
...
' M.append(new_MP(self, p_Copy(tempvector,_ring)))\n',
' return M\n'], ...)
Got:
(['cdef class
MPolynomialRing_libsingular(MPolynomialRing_generic):\n', '\n', ' def
__cinit__(self):\n', '
}}}
con_field.py:
{{{
File "/storage/sage/sage-4.7.2.alpha2/devel/sage-
trans_16037.16051/sage/schemes/plane_conics/con_field.py", line 234:
sage: C.is_smooth()
Expected:
True
Got:
False
}}}
hyperelliptic_curves/hyperelliptic_finite_field.py:
{{{
File "/storage/sage/sage-4.7.2.alpha2/devel/sage-
trans_16037.16051/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py",
line 269:
sage: set(C._points_cache_sqrt()) ==
set(C._points_cache_sqrt(brute_force=True))
Exception raised:
Traceback (most recent call last):
File "/storage/sage/sage-4.7.2.alpha2/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/storage/sage/sage-4.7.2.alpha2/local/bin/sagedoctest.py",
line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/storage/sage/sage-4.7.2.alpha2/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_5[5]>", line 1, in <module>
set(C._points_cache_sqrt()) ==
set(C._points_cache_sqrt(brute_force=True))###line 269:
sage: set(C._points_cache_sqrt()) ==
set(C._points_cache_sqrt(brute_force=True))
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py",
line 296, in _points_cache_sqrt
points.append(self.point([x, -y, one], check=True))
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/generic/scheme.py", line 256, in point
return self._point_class(self, v, check=check)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/generic/algebraic_scheme.py", line 528, in
_point_class
return self.__A._point_class(*args, **kwds)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/generic/projective_space.py", line 561, in
_point_class
return morphism.SchemeMorphism_projective_coordinates_field(*args,
**kwds)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/generic/morphism.py", line 676, in __init__
X.codomain()._check_satisfies_equations(v)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/generic/algebraic_scheme.py", line 902, in
_check_satisfies_equations
raise TypeError, "Coordinates %s do not define a point on
%s"%(coords,self)
TypeError: Coordinates [2, 2, 1] do not define a point on
Hyperelliptic Curve over Finite Field of size 7 defined by y^2 = x^3 + x^2
+ 6
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11339#comment:63>
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 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-trac?hl=en.
