Puiseux series

[sagetrac-ljpk]

We provide an implementation of Puiseux series, that is power series in x^(1/n) where n is an arbitrary integer.

When the base ring is an algebraically closed field, this is an algebraically closed field. In other words, any polynomial in QQ[X,Y] has a solution in Y as a Puiseux series in X over QQbar.

Depends on #24420
Depends on #24431
Depends on #28239

CC: @mezzarobba @videlec @dkrenn

Component: algebra

Keywords: Puiseux, days100

Author: Chris Swierczewski

Branch: 99f43aa

Reviewer: Travis Scrimshaw, Frédéric Chapoton, Sebastian Oehms

Issue created by migration from https://trac.sagemath.org/ticket/4618

[sagetrac-mabshoff]

comment:1

Hi ljpk,

requests like this shouls always go to [sage-devel] too since people generally do not look for things to do in trac. Sending the same request to [sage-devel] will make people aware of the problem and might get some design discussion going. Obviously if you are working on code this is different, but if you expect someone else to do the dirty work a little advertisement cannot hurt :)

Cheers,

Michael

[kcrisman]

comment:4

See also #9555.