algebra-3.1: Constructive abstract algebra

Index - I

I 
1 (Data Constructor)Numeric.Algebra.Complex
2 (Data Constructor)Numeric.Algebra.Quaternion
iNumeric.Algebra.Complex.Class, Numeric.Algebra.Complex, Numeric.Algebra.Quaternion, Numeric.Coalgebra.Quaternion
I'Numeric.Coalgebra.Quaternion
IdempotentNumeric.Additive.Class, Numeric.Algebra
IdempotentAlgebraNumeric.Algebra.Idempotent, Numeric.Algebra
IdempotentBialgebraNumeric.Algebra.Idempotent, Numeric.Algebra
IdempotentCoalgebraNumeric.Algebra.Idempotent
imagPartNumeric.Algebra.Complex
InfinitesimalNumeric.Algebra.Dual.Class, Numeric.Algebra.Dual, Numeric.Coalgebra.Dual
IntegralSemiringNumeric.Semiring.Integral
Interval 
1 (Type/Class)Numeric.Algebra.Incidence
2 (Data Constructor)Numeric.Algebra.Incidence
Interval' 
1 (Type/Class)Numeric.Coalgebra.Incidence
2 (Data Constructor)Numeric.Coalgebra.Incidence
invNumeric.Algebra.Involutive, Numeric.Algebra
invMNumeric.Covector, Numeric.Algebra
invMapNumeric.Map
InvolutiveAlgebraNumeric.Algebra.Involutive, Numeric.Algebra
InvolutiveBialgebraNumeric.Algebra.Involutive, Numeric.Algebra
InvolutiveCoalgebraNumeric.Algebra.Involutive, Numeric.Algebra
InvolutiveMultiplicationNumeric.Algebra.Involutive, Numeric.Algebra
InvolutiveSemiringNumeric.Algebra.Involutive, Numeric.Semiring.Involutive, Numeric.Algebra
isAssociateNumeric.Decidable.Associates
isAssociateIntegralNumeric.Decidable.Associates
isAssociateWholeNumeric.Decidable.Associates
isUnitNumeric.Decidable.Units
isZeroNumeric.Decidable.Zero