#14249: There should be no need to have _an_element_ implement to multiply
elements
------------------------------+---------------------------------------------
Reporter: SimonKing | Owner: robertwb
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.9
Component: coercion | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Simon King | Merged in:
Dependencies: #14264 | Stopgaps:
------------------------------+---------------------------------------------
Changes (by {'newvalue': u'Simon King', 'oldvalue': ''}):
* status: new => needs_review
* dependencies: => #14264
* author: => Simon King
Comment:
I am afraid that my patch touches parent.pxd and thus forces rebuilding
most of Sage.
Anyway. If an action of one parent on some object is requested ''during
arithmetic operations'', then the coercion model will now use the two
given elements to construct/test an action, rather than calling
an_element() of the parent and the object, which might not always be
available.
My patch uncovered a bug in
sage/schemes/hyperelliptic_curves/jacobian_morphism.py: An
`IntegerMulAction` was to be created, but for testing it, `m+(-m)` is
attempted for the given element m. But the involved element used to raise
an error on `-m`.
So, that's an independent bug, which I fixed in #14264.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14249#comment:1>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
