D.7.1 finvar_lib procedures to compute invariant rings of finite groups D.7.2 ainvar_lib procedures to compute invariant rings of the additive group D.7.3 rinvar_lib procedures to compute invariant rings of reductive groups D.7.4 invar_lib procedures to compute invariant rings of SL(n) and torus groups D.7.5 stratify_lib algorithmic stratification by the Greuel-Pfister algorithm