#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):
Replying to [comment:72 malb]:
> Replying to [comment:71 malb]:
> > Patches look good though, so I'll give this a positive review once we
fixed all the bugs uncovered by them in #10902.
> #10903!
With the singular SPKG and the patches (both of them) from #10903 I get no
segfaults for the long tests on both x86 and amd64. However, there is one
test on x86 that usually takes a very long time that now fails. It may be
singular-related.
{{{
sage -t -long -force_lib devel/sage-
singular.16054/sage/schemes/elliptic_curves/ell_rational_field.py
*** Warning: new stack size = 1003360 (0.957 Mbytes).
*** Warning: new stack size = 1003360 (0.957 Mbytes).
Saturation index bound = 265
WARNING: saturation at primes p > 97 will not be done;
points may be unsaturated at primes between 97 and index bound
Failed to saturate MW basis at primes [ ]
Saturation index bound = 265
WARNING: saturation at primes p > 199 will not be done;
points may be unsaturated at primes between 199 and index bound
Failed to saturate MW basis at primes [ ]
Saturation index bound = 265
WARNING: saturation at primes p > 97 will not be done;
points may be unsaturated at primes between 97 and index bound
Failed to saturate MW basis at primes [ ]
Saturation index bound = 265
WARNING: saturation at primes p > 199 will not be done;
points may be unsaturated at primes between 199 and index bound
Failed to saturate MW basis at primes [ ]
After 10 attempts at enlargement, giving up!
--points not proved 2-saturated,
2-saturation failed!
Failed to saturate MW basis at primes [ 2 ]
2 After 10 attempts at enlargement, giving up!
--points not proved 2-saturated,
2-saturation failed!
Failed to saturate MW basis at primes [ 2 ]
2 **********************************************************************
File "/storage/sage/sage-4.7.2.alpha2/devel/sage-
singular.16054/sage/schemes/elliptic_curves/ell_rational_field.py", line
3884:
sage: E1.isogeny_class(algorithm="sage")
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_80[16]>", line 1, in <module>
E1.isogeny_class(algorithm="sage")###line 3884:
sage: E1.isogeny_class(algorithm="sage")
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.py", line 3954,
in isogeny_class
isogs = E.isogenies_prime_degree(l_list)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.py", line 4054,
in isogenies_prime_degree
return isogenies_sporadic_Q(self)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_curve_isogeny.py", line 4179, in
isogenies_sporadic_Q
return isogenies_sporadic_Q(E, Integer(163))
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_curve_isogeny.py", line 4162, in
isogenies_sporadic_Q
isog = Ew.isogeny(kernel=ker, degree=l, model="minimal",
check=False)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_field.py", line 806, in isogeny
return EllipticCurveIsogeny(self, kernel, codomain, degree, model,
check=check)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_curve_isogeny.py", line 914, in
__init__
self.__init_from_kernel_polynomial(kernel, degree)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_curve_isogeny.py", line 2069, in
__init_from_kernel_polynomial
(phi, omega, v, w, n, d) = self.__init_odd_kernel_polynomial(E,
psi)
File "/storage/sage/sage-4.7.2.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_curve_isogeny.py", line 2257, in
__init_odd_kernel_polynomial
psi_coeffs = psi.univariate_polynomial().list()
File "multi_polynomial_libsingular.pyx", line 3369, in
sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular.univariate_polynomial
(sage/rings/polynomial/multi_polynomial_libsingular.cpp:22055)
IndexError: list assignment index out of range
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11339#comment:73>
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.
