#11836: gens_reduced() does not handle "large" ideals
-----------------------------+----------------------------------------------
Reporter: mirela | Owner: jdemeyer
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: number fields | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Marco Streng | Author: Jeroen Demeyer
Merged: | Dependencies: #11130
-----------------------------+----------------------------------------------
Changes (by mstreng):
* reviewer: => Marco Streng
Comment:
Ok, now I get (with #11130 and 11836.patch):
{{{
*** Warning: precision too low for generators, not given.
}}}
even though I do get correct output.
Example:
{{{
sage: K.<a> = NumberField(x^2+x-58)
sage: p =
613224584287432205092056925860654065041482770538957925076607095244391171340391841
sage: P = K.ideal(p).factor()[0][0]
sage: P
*** Warning: precision too low for generators, not given.
Fractional ideal (49582667258207098257547477827105364096774*a +
402403512193607551973543413116828658131543)
sage: P.gens_reduced()
*** Warning: precision too low for generators, not given.
(49582667258207098257547477827105364096774*a +
402403512193607551973543413116828658131543,)
sage: _[0].norm().abs() == p
True
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11836#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 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.
