Laurent power series fail unique representation

[videlec]

sage: L.<q> = LaurentSeriesRing(QQ)
sage: LaurentSeriesRing(QQ, 'q') is L
False

to be compared with

sage: R.<q> = PolynomialRing(QQ)
sage: PolynomialRing(QQ, 'q') is R
True

We also fix

sage: LaurentSeriesRing(Zmod(4), 'x').category()
Category of fields

We also remove the classes LaurentSeriesRing_generic, LaurentSeriesRing_domain, LaurentSeriesRing_field in favor of a unique LaurentSeriesRing.

Component: algebra

Author: Vincent Delecroix

Branch/Commit: bcf577d

Reviewer: Travis Scrimshaw

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

[videlec]

Description changed:

--- 
+++ 
@@ -4,3 +4,10 @@
 sage: LaurentSeriesRing(QQ, 'q') is L
 False
 ```
+to be compared to
+
+```
+sage: R.<q> = PolynomialRing(QQ)
+sage: PolynomialRing(QQ, 'q') is R
+True
+```

[videlec]

Description changed:

--- 
+++ 
@@ -4,7 +4,7 @@
 sage: LaurentSeriesRing(QQ, 'q') is L
 False
 ```
-to be compared to
+to be compared with
 
 ```
 sage: R.<q> = PolynomialRing(QQ)

[videlec]

Description changed:

--- 
+++ 
@@ -11,3 +11,10 @@
 sage: PolynomialRing(QQ, 'q') is R
 True
 ```
+
+We also fix
+
+```
+sage: LaurentSeriesRing(Zmod(4), 'x').category()
+Category of fields
+```

[videlec]

Author: Vincent Delecroix

[videlec]

New commits:

f779b10

24420: clean laurent series

[videlec]

Branch: u/vdelecroix/24420

[videlec]

Commit: f779b10

[videlec]

Description changed:

--- 
+++ 
@@ -18,3 +18,5 @@
 sage: LaurentSeriesRing(Zmod(4), 'x').category()
 Category of fields
 ```
+
+We also remove the classes `LaurentSeriesRing_generic`, `LaurentSeriesRing_domain`, `LaurentSeriesRing_field` in favor of a unique `LaurentSeriesRing`.

[sagetrac-git]

Changed commit from f779b10 to 1adb84c

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

1adb84c

24420: clean laurent series