#9400: modify the NumberField constructor to pass in optional integer B such
that
all the internal pari routines will replace the discriminant by its gcd
with B, making some things massively faster.
-----------------------------+----------------------------------------------
Reporter: was | Owner: davidloeffler
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.5.3
Component: number fields | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by jdemeyer):
The patch introduces an inconsistency:
{{{
sage: K.<a> = NumberField(x^3-7)
sage: K.ideal(12*a + 5).factor()
(Fractional ideal (101, a - 8)) * (Fractional ideal (11, a + 5))^2
}}}
{{{
sage: K.<b> = NumberField(x^3-10001)
sage: L.ideal(b+1).factor()
(Fractional ideal (b + 1, 1667)) * (Fractional ideal (b + 1, 2)) *
(Fractional ideal (b + 1, 3))
}}}
Note how the integer is printed first in the first case but last in the
second case (and personally I find it clearer when the integer is put
first). Maybe the sorting and uniqueing should be done in the
NumberFieldIdeal constructor instead of when the ideal is printed?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9400#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.
