lcmMonomial | Algebra.Ring.Polynomial.Monomial |
leadingCoeff | Algebra.Ring.Polynomial.Class |
leadingMonomial | Algebra.Ring.Polynomial.Class |
leadingTerm | Algebra.Ring.Polynomial.Class |
Lex | |
1 (Type/Class) | Algebra.Ring.Polynomial.Monomial |
2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial |
lex | Algebra.Ring.Polynomial.Monomial |
liftMap | Algebra.Ring.Polynomial.Class |
liftMapCoeff | Algebra.Ring.Polynomial.Class |
liftNorm | Algebra.Normed |
Log2 | Algebra.Internal |