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