Opened 3 years ago
Last modified 2 months ago
#26339 new enhancement
Better normalization for fraction field elements - follow up
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.4 |
Component: | commutative algebra | Keywords: | |
Cc: | tscrim, cheuberg, etn40ff, jakobkroeker, bhutz, robertwb, rws, emassop, cremona, mmezzarobba, saraedum | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
This is a follow-up 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 non-fields 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 (6)
comment:1 Changed 3 years ago by
- Description modified (diff)
comment:2 Changed 13 months ago by
comment:3 Changed 13 months ago by
- Milestone changed from sage-8.4 to sage-9.1
comment:4 Changed 12 months ago by
- Milestone changed from sage-9.1 to sage-9.2
pushing these forward to 9.2
comment:5 Changed 8 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:6 Changed 2 months ago by
- Milestone changed from sage-9.3 to sage-9.4
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
Note: See
TracTickets for help on using
tickets.
Unexpected (-1) factor in the numerator and denominator of a
sage.rings.fraction_field_element.FractionFieldElement
.SageMath version 9.1.beta3.