Opened 12 years ago

Closed 7 years ago

#5682 closed enhancement (duplicate)

Quotient for univariate Laurent polynomials

Reported by: kedlaya Owned by: tbd
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: algebra Keywords: Laurent polynomial, quotient, division
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

It would be nice if this worked rather than returning an error:

sage: F.<t> = LaurentPolynomialRing(GF(2))
sage: t // t
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)

/home/kedlaya/.sage/temp/kedlaya_laptop/18179/_home_kedlaya__sage_init_sage_0.py in <module>()

TypeError: unsupported operand type(s) for //: 'sage.rings.polynomial.laurent_polynomial.LaurentPolynomial_mpair' and 'sage.rings.polynomial.laurent_polynomial.LaurentPolynomial_mpair'

As it stands, I don't think univariate Laurent polynomial rings over a field support any division operation that stays within the ring:

sage: (t/t).parent()
Fraction Field of Univariate Laurent Polynomial Ring in t over Finite Field of size 2

except maybe if I access the internal representation (as a quotient ring) and implement it by hand.

Change History (3)

comment:1 Changed 7 years ago by tscrim

  • Milestone changed from sage-feature to sage-duplicate/invalid/wontfix
  • Report Upstream set to N/A
  • Status changed from new to needs_review

This is done in #11726.

comment:2 Changed 7 years ago by kedlaya

  • Status changed from needs_review to positive_review

Agreed, thanks!

comment:3 Changed 7 years ago by vbraun

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.