#1956: implement multivariate power series arithmetic
---------------------------------------------------------------------------------------------------+
Reporter: was
| Owner: pernici
Type: enhancement
| Status: needs_review
Priority: major
| Milestone: sage-4.6.2
Component: commutative algebra
| Keywords: multivariate power series
Author: Niles Johnson
| Upstream: N/A
Reviewer: Martin Albrecht, Simon King
| Merged:
Work_issues: multivariate series on 1 generator should remain different from a
univariate series |
---------------------------------------------------------------------------------------------------+
Comment(by pernici):
attached patch to be applied after
applying trac_1956_multi_power_series_new_4.patch,
trac_1956_uni_multi_ps_2.patch,
trac_1956_multi_ps_cleanup.patch
The univariate series has the property that its representation
can be used to define it
{{{
sage: S.<t> = QQ[[]]
sage: 1 + t + t^3 + O(t^5)
1 + t + t^3 + O(t^5)
}}}
In the case of multivariate series this property does not currently hold
{{{
sage: R.<x,y> = QQ[[]]
sage: p = 1 + x + y^2 + R.O(5); p
1 + x + y^2 + O(x, y)^5
sage: 1 + x + y^2 + O(x, y)^5
TypeError
}}}
The attached patch is a hack to satisfy this property
{{{
sage: R.<x,y> = QQ[[]]
sage: 1 + x + y^2 + O(x, y)^5
1 + x + y^2 + O(x, y)^5
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1956#comment:79>
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.
