Opened 10 years ago

Closed 10 years ago

Last modified 10 years ago

#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:

Status badges

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 boothby

  • Keywords days32 added
  • Owner changed from malb to boothby

This is to be fixed in #11726.

comment:2 Changed 10 years ago by boothby

  • Resolution set to duplicate
  • Status changed from new to closed

comment:3 Changed 10 years ago by boothby

  • Keywords sd32 added; days32 removed

comment:4 Changed 10 years ago by mvngu

  • Milestone changed from sage-4.7.2 to sage-duplicate/invalid/wontfix

comment:5 Changed 10 years ago by leif

  • Reviewers set to Tom Boothby
Note: See TracTickets for help on using tickets.