Minimal faithful linear representations - Compute the degree (and a representation) of a minimal degree faithful representation of a finite group. It is setup to be easy to change the field, but just does the complex numbers for now.
Minimal faithful linear representations - Compute the degree (and a representation) of a minimal degree faithful representation of a finite group. It is setup to be easy to change the field, but just does the complex numbers for now.