> | ## 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 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

User manual for Singular version 4.4.1, 2025, generated by texi2html.