#8972: Inversion and fraction fields for power series rings
-----------------------------------------------+----------------------------
Reporter: SimonKing | Owner: AlexGhitza
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.4.4
Component: algebra | Resolution: fixed
Keywords: power series ring, fraction field | Author: Simon King
Upstream: N/A | Reviewer: Robert
Bradshaw
Merged: | Work_issues: trouble with
schemes/elliptic_curves
-----------------------------------------------+----------------------------
Comment(by SimonKing):
The problem is that some code ''expects'' the fraction field of a power
series ring to be a formal fraction field. So, assume that one changes it,
so that the fraction field is in fact a Laurent polynomial ring. When
creating elements of the fraction field, the code fails, because it tries
to initialise the element by numerator and denominator -- but Laurent
series are initialised by a power series and an integer.
A possible solution would be to make the init method of Laurent series
accept numerator and denominator. But I think that's a nasty hack, because
what happens if the arguments are one power series and one integer? Is the
integer supposed to be the valuation of the Laurent series, or the
denominator of a formal fraction field element?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8972#comment:27>
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.
