lcmMonomial | Algebra.Ring.Polynomial |
leadingCoeff | Algebra.Ring.Polynomial |
leadingMonomial | Algebra.Ring.Polynomial |
leadingOrderedMonomial | Algebra.Ring.Polynomial |
leadingTerm | Algebra.Ring.Polynomial |
Lex | |
1 (Type/Class) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
2 (Data Constructor) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
lex | Algebra.Ring.Polynomial |