algebra-3.1: Constructive abstract algebra

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- $
- *
- +
- .
- /
- <
- >
- \
- ^
- -
- ~
- All

Index - I

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
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
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