D.6.1 finvar_lib procedures to compute invariant rings of finite groups D.6.2 ainvar_lib procedures to compute invariants rings of the additive group D.6.3 rinvar_lib procedures to compute invariants ring of reductive groups D.6.4 stratify_lib algorithmic stratification by the Greuel-Pfister algorithm