Representation Theory
Magma computes ordinary and modular representations of finite groups - character tables, Brauer characters, decomposition matrices, and induction/restriction. Meataxe algorithms identify irreducible constituents.
Type ? for help. Type <Ctrl>-D to quit.