#12143: PariError when creating a relative number field
-----------------------------+----------------------------------------------
Reporter: culler | Owner: davidloeffler
Type: defect | Status: new
Priority: major | Milestone: sage-4.8
Component: number fields | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-----------------------------+----------------------------------------------
Comment(by fwclarke):
Replying to [comment:1 culler]:
> Unfortunately I don't see any way to work around it in my project.
I think the following works:
{{{
sage: PQ.<t> = QQ[]
sage: f = t^6 - 1/4*t^3 - 1/64
sage: f = PQ(pari(f).polredabs())
sage: K.<a> = QQ.extension(f)
sage: s = K['s'].gen()
sage: g = s^4 + 2*a^2*s^2 + a^4 + a
sage: L.<b> = K.extension(g)
sage: L
Number Field in b with defining polynomial s^4 + 2*a^2*s^2 + a^4 + a over
its base field
sage: K
Number Field in a with defining polynomial t^6 - 2*t^3 - 1
}}}
I think this technique could be used to sort out #252. But there are many
details to be got right.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12143#comment:2>
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.
