Implement Puiseux polynomials

[nthiery]

Implement the ring of Puiseux polynomials. Those are usual polynomials, except that exponents can be any rational number.

   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

CC: @sagetrac-sage-combinat

Component: algebra

Keywords: Puiseux

Branch/Commit: public/9289 @ 336e58b

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

[nthiery]

Description changed:

--- 
+++ 
@@ -6,6 +6,7 @@
    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

[fchapoton]

Changed keywords from none to Puiseux

[rwst]

comment:3

Never mind. I thought this was a duplicate.

[kcrisman]

comment:5

See also #4618.

[fchapoton]

Branch: public/9289

[fchapoton]

New commits:

336e58b

very rough and sketchy tentative of Puiseux polynomials

[fchapoton]

Commit: 336e58b