#15243: Change algorithm for K.uniformizer(P)
----------------------------------+----------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-5.13
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #14476 | Stopgaps:
----------------------------------+----------------------------
Comment (by cremona):
To confirm: this was sage-5.12.beta4 and the only patches applied are
{{{
trac_14476_bugs_in_local_data.patch
trac_14476_trac_links.patch
15243_uniformizer.patch
}}}
Here are some details:
{{{
**********************************************************************
File "devel/sage/sage/rings/number_field/number_field.py", line 5205, in
sage.rings.number_field.number_field.NumberField_generic.uniformizer
Failed example:
K.ideal(pi).factor()
Expected:
(Fractional ideal (2, a + 1))^-1 * (Fractional ideal (3, a + 1))
Got:
(Fractional ideal (2, a + 1)) * (Fractional ideal (3, a + 1))
**********************************************************************
}}}
{{{
**********************************************************************
File "devel/sage/sage/schemes/elliptic_curves/ell_local_data.py", line
671, in
sage.schemes.elliptic_curves.ell_local_data.EllipticCurveLocalData._tate
Failed example:
E.conductor() # indirect doctest
Exception raised:
Traceback (most recent call last):
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 479, in _run
self.execute(example, compiled, test.globs)
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 838, in execute
exec compiled in globs
File "<doctest
sage.schemes.elliptic_curves.ell_local_data.EllipticCurveLocalData._tate[11]>",
line 1, in <module>
E.conductor() # indirect doctest
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/schemes/elliptic_curves/ell_number_field.py", line 1321, in
conductor
for d in self.local_data()],\
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/schemes/elliptic_curves/ell_number_field.py", line 777, in
local_data
return [self._get_local_data(pr, proof) for pr in primes]
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/schemes/elliptic_curves/ell_number_field.py", line 836, in
_get_local_data
self._local_data[P, proof, algorithm] =
EllipticCurveLocalData(self, P, proof, algorithm)
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/schemes/elliptic_curves/ell_local_data.py", line 270, in
__init__
self._Emin, ch, self._val_disc, self._fp, self._KS, self._cp,
self._split = self._tate(proof)
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/schemes/elliptic_curves/ell_local_data.py", line 1035, in
_tate
pi_neg = K.uniformizer(P, 'negative')
File "/home/john/sage-5.12.beta4/local/lib/python2.7/site-
packages/sage/rings/number_field/number_field.py", line 5249, in
uniformizer
return ~self(nf.idealappr(F, 1))
File "gen.pyx", line 10605, in sage.libs.pari.gen._pari_trap
(sage/libs/pari/gen.c:56583)
PariError: (5)
**********************************************************************
}}}
and similar.
--
Ticket URL: <http://trac.sagemath.org/ticket/15243#comment:11>
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/groups/opt_out.
