The function RSpaceWithBasis now works over general euclidean
rings (not just fields).
New function IsPermutationModule for A-modules.
New function CentreOfEndomorphismRing for A-modules, which
computes the centre of the endomorphism ring of a module (and is
generally much faster than computing the endomorphism ring and then
its centre for some rings).