#18758: Allow actions of a parent on itself
-------------------------------------+------------------------
Reporter: SimonKing | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.8
Component: coercion | Resolution:
Keywords: actions on itself | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #18756 | Stopgaps:
-------------------------------------+------------------------
Comment (by SimonKing):
Replying to [comment:6 SimonKing]:
> Before I push my branch, I'll see what happens if I provide `Element`
with a default `__mul__` method that simply calls the coercion model. It
will of course make the first approach impossible, but I guess it would
speed-up the second (i.e., new) approach.
To be clear: It would still be the case that
`CombinatorialFreeModuleElement` would be based on `Element`, and it would
still be the case that it obtains `_mul_` (single underscore) from the
category, and it would still be the case that it obtains multiplication
from the category. The difference is that it does not obtain the
multiplication by inheriting a `__mul__` (double underscore) method from
the category, but by using a coerce action obtained from the category.
In particular, the existing user code will not change.
--
Ticket URL: <http://trac.sagemath.org/ticket/18758#comment:7>
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.
