#16855: Make finite fields satisfy comparison by identity
-------------------------------------+-------------------------------------
Reporter: pbruin | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.4
Component: finite rings | Resolution:
Keywords: finite field | Merged in:
comparison | Reviewers:
Authors: Peter Bruin | Work issues:
Report Upstream: N/A | Commit:
Branch: | 10bcb8df90756b034907059cf965cbfe01dbc5ac
u/pbruin/16855-FiniteField_comparison| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jpflori):
Do we want coercions anyway?
Wouldn't conversions be enough?
I'd say the user ending up with two different implementations of the same
finite field (with same defining polynomial) surely knows how she ended up
there.
So doing nothing automagically is surely better than arbitrarly choosing
one of the possible directions for coercion and pushing everything there,
isn't it?
Of course if when using a given implem of the finite field, you may end up
with a polynomial ring based on another implem, coercion is still needed.
But now that we make sure that different implems are considered different,
that should not happen.
(I may be talking non sense, I did not look at the code yet.)
--
Ticket URL: <http://trac.sagemath.org/ticket/16855#comment:4>
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.
