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

D |
1 (Data Constructor) | Numeric.Algebra.Dual
2 (Data Constructor) | Numeric.Coalgebra.Dual
d | Numeric.Algebra.Dual.Class, Numeric.Algebra.Dual, Numeric.Coalgebra.Dual
DecidableAssociates | Numeric.Decidable.Associates, Numeric.Algebra
DecidableUnits | Numeric.Decidable.Units, Numeric.Algebra
DecidableZero | Numeric.Decidable.Zero, Numeric.Algebra
Dioid | Numeric.Dioid.Class, Numeric.Algebra
Distinguished | Numeric.Algebra.Distinguished.Class, Numeric.Algebra.Complex, Numeric.Algebra.Quaternion, Numeric.Algebra.Dual, Numeric.Coalgebra.Dual, Numeric.Coalgebra.Quaternion
Division | Numeric.Algebra.Division, Numeric.Algebra
DivisionAlgebra | Numeric.Algebra.Division, Numeric.Algebra
DivisionRing | Numeric.Ring.Division, Numeric.Algebra
dot | Numeric.Coalgebra.Geometric
Dual |
1 (Type/Class) | Numeric.Algebra.Dual
2 (Data Constructor) | Numeric.Algebra.Dual
Dual' |
1 (Type/Class) | Numeric.Coalgebra.Dual
2 (Data Constructor) | Numeric.Coalgebra.Dual
DualBasis | Numeric.Algebra.Dual
DualBasis' | Numeric.Coalgebra.Dual