DiagonalAction is the class of all diagonal actions on polynomial rings by a product of a torus (possibly trivial) with a finite abelian group for the purpose of computing invariants. It is created using diagonalAction.
The object DiagonalAction is a type, with ancestor classes GroupAction < HashTable < Thing.