#9054: create a class for basic function_field arithmetic for Sage
-----------------------------------------------------------------------------------------------+
Reporter: was
| Owner: was
Type: enhancement
| Status: needs_review
Priority: major
| Milestone: sage-4.8
Component: algebra
| Resolution:
Keywords:
| Work_issues:
Upstream: N/A
| Reviewer: Maarten Derickx, Julian Rueth
Author: William Stein, Robert Bradshaw, Maarten Derickx, Moritz
Minzlaff, Julian Rueth | Merged:
Dependencies: #9094, #11751, #9138
|
-----------------------------------------------------------------------------------------------+
Comment(by mderickx):
I will add it just to be consistent with numberfields.
{{{
sage: K.<a> = QQ.extension(x^2-2)
sage: I = K.ideal(3)
sage: L.<b> = K.extension(x^2-3)
sage: L.ideal(I)
Fractional ideal (3)
sage: L.ideal(p).factor()
(Fractional ideal (b))^2
}}}
Note that it also mathematically makes sense in the most general setting
since the ideal created this way is the ideal extension corresponding to
the coersion map from I.ring() to self.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9054#comment:70>
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.
