#9429: Undesirable behaviour when deriving from QuotientRingElement
-----------------------+----------------------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.0
Component: algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------+----------------------------------------------------
Changes (by vbraun):
* milestone: sage-4.5 => sage-5.0
Comment:
The reason why `first_attempt.patch` breaks so many things is because the
classes `QuotientRing_generic` -> `IntegerModRing_generic` ->
`FiniteField_prime_modn` do not work within the new coercion model.
Robert wrote on sage-devel:
> What should have happened is that QuotientRing should be an abstract
class, and with subclasses QuotientRingGeneric and
FiniteField/IntegerModRing/etc. as the latter end up
ignoring/subverting the implementation of the former. This would make
things like this much easier to change
We should eventually port this to the new coercion model, but it seems to
be a bigger effort. I don't want to wait with the current toric varieties
code until this is done. So I'd like to go ahead with the "wrong" coercion
in #9326, and leave this ticket for later.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9429#comment:8>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
