Opened 8 years ago

## #9980 new defect

# Deprecate functionality of `PowerSeriesRing` which conflicts with construction of multivariate power series

Reported by: | niles | Owned by: | malb |
---|---|---|---|

Priority: | major | Milestone: | |

Component: | commutative algebra | Keywords: | power series, deprecation warning |

Cc: | niles | Merged in: | |

Authors: | Reviewers: | ||

Report Upstream: | N/A | Work issues: | |

Branch: | Commit: | ||

Dependencies: | Stopgaps: |

### Description

Multivariate power series are implemented by #1956. As mentioned on that ticket, the existing code for `PowerSeriesRing`

did not allow multivariate power series rings to be constructed using the same arguments as multivariate polynomials accept:

sage: T = PowerSeriesRing(QQ,3,'t'); T Multivariate Power Series Ring in t0, t1, t2 over Rational Field sage: T = PowerSeriesRing(QQ,'t',3); T Power Series Ring in t over Rational Field sage: T.default_prec() 3 sage: P = PolynomialRing(QQ,'t',3); P Multivariate Polynomial Ring in t0, t1, t2 over Rational Field

There is a non-trivial body of code (elliptic curves, and maybe p-adics) which makes use of this syntax.

**Note:**See TracTickets for help on using tickets.