#3362: lmul is broken for modules.
----------------------+-----------------------------------------------------
 Reporter:  gfurnish  |        Owner:  robertwb  
     Type:  defect    |       Status:  new       
 Priority:  major     |    Milestone:  sage-3.2.1
Component:  coercion  |   Resolution:            
 Keywords:            |  
----------------------+-----------------------------------------------------
Comment (by robertwb):

 This should be marked as invalid. _lmul_ and _rmul_ are used for
 multiplication by an element of the basering, not for multiplication of
 elements themselves. Throwing an error here is the right thing to do, as
 it signals that the coercion model an action is not the appropriate thing
 to do here, but rather that both a and b should be coerced to the same
 parent and a._mul_(b) should be called.

 Writing a*b or b*a preserves the order of operands are fed into _mul_, so
 non-commutative operations can be supported just fine.

 _lmul_, _rmul_, etc. are not made to be called directly anyways in most
 cases.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/3362#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to