Index - I
| Ideal | |
| 1 (Type/Class) | Algebra.Ring.Noetherian |
| 2 (Data Constructor) | Algebra.Ring.Noetherian |
| index | Algebra.Ring.Polynomial.Parser |
| injectCoeff | Algebra.Ring.Polynomial |
| injectVar | Algebra.Ring.Polynomial.Monomorphic |
| intersection | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| isIdealMember | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| IsMonomialOrder | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| IsOrder | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| IsPolynomial | Algebra.Ring.Polynomial |