Group representations

See examples in Rep.mw

Procedures