RankLF
SplitLF
TotalDegree
TranslateAllFreeVariablesToZeroLF
TranslateKthFreeVariableToZeroLF
TranslateLastFreeVariableToZeroLF
Var
VerifyLF
WholeSpaceLF