#11723 closed defect (duplicate)
Implement completion: LaurentPolynomialRing -> LaurentSeriesRing
Reported by: | boothby | Owned by: | boothby |
---|---|---|---|
Priority: | minor | Milestone: | sage-duplicate/invalid/wontfix |
Component: | commutative algebra | Keywords: | sd32 |
Cc: | Merged in: | ||
Authors: | Reviewers: | Tom Boothby | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
It should be easy to construct Laurent series from Laurent polynomials. In univariate polynomials, we have the following:
sage: Q.<x> = QQ[] sage: Q.completion(x) Power Series Ring in x over Rational Field
so similarly, we should have
sage: R.<x> = LaurentPolynomialRing(QQ) sage: R.completion(x) Laurent Series Ring in x over Rational Field
Change History (5)
comment:1 Changed 10 years ago by
- Keywords days32 added
- Owner changed from malb to boothby
comment:2 Changed 10 years ago by
- Resolution set to duplicate
- Status changed from new to closed
comment:3 Changed 10 years ago by
- Keywords sd32 added; days32 removed
comment:4 Changed 10 years ago by
- Milestone changed from sage-4.7.2 to sage-duplicate/invalid/wontfix
comment:5 Changed 10 years ago by
- Reviewers set to Tom Boothby
Note: See
TracTickets for help on using
tickets.
This is to be fixed in #11726.