Index - O
| od | Algebra.Internal |
| OLt | Algebra.Internal |
| OMonom | Algebra.Ring.Polynomial.Class |
| One | Algebra.Internal |
| OneCoeff | Algebra.Ring.Polynomial.Class |
| oneNorm | Algebra.Ring.Polynomial.Class |
| order | Algebra.Field.Finite, Algebra.Field.Prime |
| OrderedMonomial | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial |
| orderedMonomials | Algebra.Ring.Polynomial.Class |
| orderMonomial | Algebra.Ring.Polynomial.Monomial |
| Ordinal | Algebra.Internal |
| ordToNatural | Algebra.Internal |
| ordToSNat | Algebra.Internal |
| OS | Algebra.Internal |
| OZ | Algebra.Internal |