Documentation

A Module over r a is a (Ring a), an abelian (Group r a) and an scalar-mult. (.*, *.) with the laws:

a .* one == a
(a + b) .* c == (a .* c) + (b .* c)
c *. (a + b) == (c *. a) + (c *. b)
a .* zero == zero
a .* b == b *. a