#4618: Request for Puiseux series in SAGE
-------------------------------+--------------------------
Reporter: ljpk | Owner: AlexGhitza
Type: enhancement | Status: new
Priority: minor | Milestone: sage-6.2
Component: algebra | Resolution:
Keywords: Puiseux | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+--------------------------
Description changed by rws:
Old description:
> In MAGMA, one can have fractional exponents for power series (which it
> calls Puiseux series), but SAGE does not seem to support this:
> {{{
> sage: PSR.<q>=PowerSeriesRing(QQ)
> sage: q^(1/5)
> ---------------------------------------------------------------------------
> NotImplementedError Traceback (most recent call
> last)
>
> /home/ljpk/.sage/temp/sage/2339/_home_ljpk_Eisenstein_sage_9.py in
> <module>()
> ----> 1
> 2
> 3
> 4
> 5
>
> /home/was/s/local/lib/python2.5/site-packages/sage/structure/element.so
> in sage.structure.element.RingElement.__pow__
> (sage/structure/element.c:8866)()
> 1131
> 1132
> -> 1133
> 1134
> 1135
>
> /home/was/s/local/lib/python2.5/site-packages/sage/structure/element.so
> in sage.structure.element.generic_power_c
> (sage/structure/element.c:17789)()
> 2601
> 2602
> -> 2603
> 2604
> 2605
>
> NotImplementedError: non-integral exponents not supported
> }}}
New description:
In MAGMA, one can have fractional exponents for power series (which it
calls Puiseux series), but SAGE does not seem to support this:
{{{
sage: PSR.<q>=PowerSeriesRing(QQ)
sage: q^(1/5)
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/home/ljpk/.sage/temp/sage/2339/_home_ljpk_Eisenstein_sage_9.py in
<module>()
/home/was/s/local/lib/python2.5/site-packages/sage/structure/element.so in
sage.structure.element.RingElement.__pow__
(sage/structure/element.c:8866)()
/home/was/s/local/lib/python2.5/site-packages/sage/structure/element.so in
sage.structure.element.generic_power_c (sage/structure/element.c:17789)()
NotImplementedError: non-integral exponents not supported
}}}
From the duplicate #9289:
{{{
sage: S = PolynomialRing(QQ, ['a','b','c']); S
Multivariate Puiseux Polynomial Ring in a, b, c over Rational Field
}}}
Operations: roots of monomials, ...
See also: http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Puiseux,
http://en.wikipedia.org/wiki/Puiseux_series
--
--
Ticket URL: <http://trac.sagemath.org/ticket/4618#comment:8>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
