Index - I
| Ideal | |
| 1 (Type/Class) | Algebra.Ring.Ideal | 
| 2 (Data Constructor) | Algebra.Ring.Ideal | 
| ifoldMapMonom | Algebra.Ring.Polynomial.Monomial | 
| inclusion | Algebra.Internal | 
| inclusion' | Algebra.Internal | 
| induction | Algebra.Internal | 
| injectCoeff | Algebra.Ring.Polynomial.Class | 
| injectCoeff' | Algebra.Ring.Polynomial.Class | 
| injectVars | Algebra.Ring.Polynomial.Class | 
| injectVarsAtEnd | Algebra.Ring.Polynomial.Class | 
| injectVarsOffset | Algebra.Ring.Polynomial.Class | 
| isAssociateDefault | Algebra.Ring.Polynomial.Class | 
| isEmptyIdeal | Algebra.Ring.Ideal | 
| IsMonomialOrder | Algebra.Ring.Polynomial.Monomial | 
| IsOrder | Algebra.Ring.Polynomial.Monomial | 
| IsOrderedPolynomial | Algebra.Ring.Polynomial.Class | 
| IsPolynomial | Algebra.Ring.Polynomial.Class | 
| isPowerOf | Algebra.Ring.Polynomial.Monomial | 
| isPseudoPrime | Algebra.Arithmetic | 
| isRelativelyPrime | Algebra.Ring.Polynomial.Monomial | 
| IsStrongMonomialOrder | Algebra.Ring.Polynomial.Monomial | 
| IsSucc | Algebra.Internal | 
| IsTrue | Algebra.Internal | 
| isUnitDefault | Algebra.Ring.Polynomial.Class | 
| IsZero | Algebra.Internal |