#14740: creation of number field order hangs
-----------------------------+----------------------------------------------
Reporter: mstreng | Owner: davidloeffler
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.11
Component: number fields | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors:
Merged in: | Dependencies:
Stopgaps: |
-----------------------------+----------------------------------------------
{{{
sage: Qa12.<kappa12> = NumberField(x^14 - 26*x^13 + 325*x^12 - 2548*x^11 +
13832*x^10 - 54340*x^9 + 157118*x^8 - 333580*x^7 + 509366*x^6 - 534820*x^5
+ 354536*x^4 - 124852*x^3 + 15145*x^2 - 33514*x + 13)
sage: y = polygen(Qa12)
sage: L.<c> = Qa12.extension(y^2-kappa12)
sage: L.<alpha> = L.absolute_field()
sage: OO = Qa12.maximal_order()
sage: bas = [L.structure()[1](b) for b in OO.basis()]
sage: subOrderK = L.order(bas + [b*alpha for b in bas])
^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C^C
}}}
For some people {{{^C}}} does work, but in any case, there should be no
long computation involved. We give a basis, so we should get an answer
right away.
Indeed, the following does work:
{{{
sage: Om = magma(L).MaximalOrder()
}}}
Since others cannot reproduce the {{{^C}}} problem, I'm marking this as an
"enhancement" for speeding up order creation.
See also
[http://groups.google.com/forum/?fromgroups#!topic/sage-devel/MpPqbjAqol4]
[http://ask.sagemath.org/question/1652/computing-maximal-orders-in-
relative-extensions]
[http://stackoverflow.com/questions/11850418/computing-maximal-orders-in-
large-number-fields-with-sage]
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14740>
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.
