| I | |
| 1 (Data Constructor) | Numeric.Algebra.Complex |
| 2 (Data Constructor) | Numeric.Algebra.Quaternion |
| i | Numeric.Algebra.Complex.Class, Numeric.Algebra.Complex, Numeric.Algebra.Quaternion, Numeric.Coalgebra.Quaternion |
| I' | Numeric.Coalgebra.Quaternion |
| Idempotent | Numeric.Additive.Class, Numeric.Algebra |
| IdempotentAlgebra | Numeric.Algebra.Idempotent, Numeric.Algebra |
| IdempotentBialgebra | Numeric.Algebra.Idempotent, Numeric.Algebra |
| IdempotentCoalgebra | Numeric.Algebra.Idempotent |
| imagPart | Numeric.Algebra.Complex |
| Infinitesimal | Numeric.Algebra.Dual.Class, Numeric.Algebra.Dual, Numeric.Coalgebra.Dual |
| IntegralSemiring | Numeric.Semiring.Integral |
| inv | Numeric.Algebra.Involutive, Numeric.Algebra |
| invM | Numeric.Covector, Numeric.Algebra |
| invMap | Numeric.Map |
| InvolutiveAlgebra | Numeric.Algebra.Involutive, Numeric.Algebra |
| InvolutiveBialgebra | Numeric.Algebra.Involutive, Numeric.Algebra |
| InvolutiveCoalgebra | Numeric.Algebra.Involutive, Numeric.Algebra |
| InvolutiveMultiplication | Numeric.Algebra.Involutive, Numeric.Algebra |
| InvolutiveSemiring | Numeric.Algebra.Involutive, Numeric.Semiring.Involutive, Numeric.Algebra |
| isAssociate | Numeric.Decidable.Associates |
| isAssociateIntegral | Numeric.Decidable.Associates |
| isAssociateWhole | Numeric.Decidable.Associates |
| isUnit | Numeric.Decidable.Units |
| isZero | Numeric.Decidable.Zero |