D.7.1 finvar_lib | | procedures to compute invariant rings of finite groups |
D.7.2 ainvar_lib | | procedures to compute invariants rings of the additive group |
D.7.3 rinvar_lib | | procedures to compute invariants ring of reductive groups |
D.7.4 stratify_lib | | algorithmic stratification by the Greuel-Pfister algorithm |