- n
- number of variables
- i
- ith transitive group on n variables
- p
- characteristic
- G
- group
- betap
- a priori degree bound
- beta
- real degree bound

- MuPAD: SAGBI-Grobner algorithm, Bucherbeger style
- MuPAD F: SAGBI-Grobner algorithm, Faugere 4 style
- Magma1: using FundamentalInvariants
- Magma2: brute force using HomogeneousModuleTestBasis