Hi!
We have
sage: v = vector(ZZ,[1,2])
sage: M = matrix(ZZ,2,2,[1,2,3,4])
sage: cm = sage.structure.element.get_coercion_model()
sage: cm.explain(v.parent(),M.parent(),operator.mul)
Action discovered.
Right action by Full MatrixSpace of 2 by 2 dense matrices over
Integer Ring on Ambient free module of rank 2 over the principal ideal
domain Integer Ring
Result lives in Ambient free module of rank 2 over the principal ideal
domain Integer Ring
Ambient free module of rank 2 over the principal ideal domain Integer
Ring
But how does it work? I tried to search v.__mul__, v._acted_upon,
M._act_on, but didn't find it.
Cheers,
Simon
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
