#5682: Quotient for univariate Laurent polynomials
-------------------------+--------------------------------------------------
Reporter: kedlaya | Owner: tbd
Type: enhancement | Status: new
Priority: minor | Milestone: sage-feature
Component: algebra | Keywords: Laurent polynomial, quotient, division
-------------------------+--------------------------------------------------
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.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5682>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
