representation of algebraic groups
How do I implement a representation of an algebraic group in sage math?
I would like to give some finite family of unipotent or diagonal matrices and compute the invariant ring of such a representation.
Matrix groups can be defined from generators via
MatrixGroup.