#16993: Broken fraction field of rational polynomial ring
--------------------------------+----------------------------
Reporter: SimonKing | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.4
Component: basic arithmetic | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
--------------------------------+----------------------------
{{{
sage: P.<t> = QQ[]
sage: p = 4/(-4*t)
sage: p # OK, fractions are not automatically reduced
4/(-4*t)
sage: p.reduce()
sage: p # What the heck...
4/(-4*t)
sage: p == -1/t # At least sage gets this right
True
}}}
So, not only is the fraction not automatically simplified by "obvious"
common factors, but also it is not simplified upon request.
Note that the fraction field of an integral polynomial ring works better.
{{{
sage: P.<t> = ZZ[]
sage: p = 4/(-4*t)
sage: p
1/-t
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16993>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
