#7530: corrects simple Laurent-polynomial bug
------------------------+---------------------------------------------------
Reporter: fwclarke | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-4.3.1
Component: algebra | Keywords: Laurent Polynomial
Work_issues: | Author: Francis Clarke
Upstream: N/A | Reviewer:
Merged: |
------------------------+---------------------------------------------------
Changes (by fwclarke):
* status: needs_work => needs_review
Comment:
Thanks, John.
You're right; the `proof` parameter needs to be passed on to the base
ring, which I've done in a replacement patch. I've included an example
verifying that the problem I had with constructing a polynomial ring over
a Laurent polynomial ring is solved by the patch.
As it happens, the Laurent polynomial constructor currently restricts the
base ring to be an integral domain. Of course this isn't (mathematically)
necessary, but the current code for taking negative powers of Laurent
polynomial generators uses the fraction field of the base ring (producing
some bizarre errors in the process). I'll raise another ticket about this
issue.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7530#comment:3>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
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.
