#8499: partial_fraction_decomposition does not work over algebraic extensions
------------------------+---------------------------------------------------
Reporter: zimmerma | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone: sage-4.3.4
Component: calculus | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------+---------------------------------------------------
How can one compute a partial fraction decomposition over the
complex numbers? Consider the following:
{{{
sage: x = PolynomialRing(RationalField(), 'x').gen()
sage: r = 1 /(x^4 + 1)
sage: r.partial_fraction_decomposition()
(0, [1/(x^4 + 1)])
}}}
This is ok since we explicitely work over QQ. Now compare with:
{{{
sage: P.<y> = PolynomialRing(RationalField())
sage: Qbar.<y> = QuotientRing(P, y^2+1)
sage: x = PolynomialRing(Qbar, 'x').gen()
sage: r = 1 /(x^4 + 1)
sage: r.partial_fraction_decomposition()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8499>
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.
