Opened 7 years ago

Last modified 2 years ago

#16993 closed defect

Broken fraction field of rational polynomial ring — at Initial Version

Reported by: SimonKing Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: commutative algebra Keywords:
Cc: tscrim, yzh, mkoeppe, etn40ff, slelievre Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


sage: P.<t> = QQ[]
sage: p = 4/(-4*t)
sage: p   # OK, fractions are not automatically reduced
sage: p.reduce()
sage: p   # What the heck...
sage: p == -1/t   # At least sage gets this right

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

Change History (0)

Note: See TracTickets for help on using tickets.