regression in free modules -- who broke my __mul__

[williamstein]

If A is a free module and r a ring element then rA and Ar used to work fine. But somebody broke them.

In the good ol days:

wstein@sage:/disk/scratch/mabshoff-sage-releases/sage-0.10.0$ ./sage
[...]
sage: A = ZZ^3
sage: A
 _5 = Ambient free module of rank 3 over the principal ideal domain Integer Ring
sage: 2*A
 _6 = 
Free module of degree 3 and rank 3 over Integer Ring
Echelon basis matrix:
[2 0 0]
[0 2 0]
[0 0 2]

Now:

sage: A = ZZ^3
sage: 2*A
Traceback (most recent call last):
...
TypeError: unsupported operand parent(s) for '*': 'Integer Ring' and '<class 'sage.modules.free_module.FreeModule_ambient_pid'>'

Component: linear algebra

Author: Travis Scrimshaw

Branch/Commit: 1f0cd92

Reviewer: Jan Keitel

Issue created by migration from https://trac.sagemath.org/ticket/5131

[tscrim]

Commit: 057fd5e

[tscrim]

comment:4

Now also works for matrices:

sage: A = ZZ^3
sage: m = matrix(3, range(9))
sage: A * m
Free module of degree 3 and rank 2 over Integer Ring
Echelon basis matrix:
[1 1 1]
[0 3 6]
sage: m * A
Free module of degree 3 and rank 2 over Integer Ring
Echelon basis matrix:
[ 3  0 -3]
[ 0  1  2]

---

New commits:

057fd5e

Added a multiplication for free modules.

[tscrim]

Author: Travis Scrimshaw

[tscrim]

Branch: public/modules/free_module_mul-5131