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: |
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
- Milestone changed from sage-feature to sage-duplicate/invalid/wontfix
- Report Upstream set to N/A
- Status changed from new to needs_review
comment:2 Changed 7 years ago by
- Status changed from needs_review to positive_review
Agreed, thanks!
comment:3 Changed 7 years ago by
- Resolution set to duplicate
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
This is done in #11726.