Better normalization for fraction field elements  follow up
Reported by: 
Matthias Köppe 
Owned by: 

Priority:

major

Milestone:

sage9.8

Component:

commutative algebra

Keywords:


Cc:

Travis Scrimshaw, Clemens Heuberger, Salvatore Stella, Jakob Kroeker, Ben Hutz, Robert Bradshaw, Ralf Stephan, Erik Massop, John Cremona, Marc Mezzarobba, Julian Rüth

Merged in:


Authors:


Reviewers:


Report Upstream:

N/A

Work issues:


Branch:


Commit:


Dependencies:


Stopgaps:


This is a followup on #16268 (and #16993), where the following further improvements were suggested:
 clearing denominators in the numerator and denominator instead of making the leading coefficient of the denominator monic when that makes sense (i.e., for printing, and perhaps for computations in nested rational function fields, but making it fast enough requires some work),
 also normalizing the leading coefficients over nonfields where that makes sense (see also discussion at #16993).
Related:
 #15297 Elements from a Field of Fractions that compare equal should have equal hashes
Change History (10)
Description: 
modified (diff)

Milestone: 
sage8.4 →
sage9.1

Milestone: 
sage9.1 →
sage9.2

Milestone: 
sage9.2 →
sage9.3

Milestone: 
sage9.3 →
sage9.4

Milestone: 
sage9.4 →
sage9.5

Milestone: 
sage9.5 →
sage9.6

Milestone: 
sage9.6 →
sage9.7

Milestone: 
sage9.7 →
sage9.8

Unexpected (1) factor in the numerator and denominator of a
sage.rings.fraction_field_element.FractionFieldElement
.SageMath version 9.1.beta3.