D.7 Invariant theory

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