Index - L
| 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 |