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 |