• EAGERLIFTING_CADSETTING : GiNaCRA
• EVENDEG_CADSETTING : GiNaCRA
• GROEBNER_CADSETTING : GiNaCRA
• LOWDEG_CADSETTING : GiNaCRA
• NEGATIVE_SIGN : GiNaC
• ODDDEG_CADSETTING : GiNaCRA
• POSITIVE_SIGN : GiNaC
• REALROOTCOUNT_CADSETTING : GiNaCRA
• SQUAREFREEELIMINATION_CADSETTING : GiNaCRA
• ZERO_SIGN : GiNaC