| D | |
| 1 (Data Constructor) | Numeric.Coalgebra.Dual |
| 2 (Data Constructor) | Numeric.Algebra.Dual |
| d | Numeric.Algebra.Dual.Class, Numeric.Coalgebra.Dual, Numeric.Algebra.Dual |
| DecidableAssociates | Numeric.Decidable.Associates, Numeric.Algebra |
| DecidableNilpotent | Numeric.Decidable.Nilpotent |
| DecidableUnits | Numeric.Decidable.Units, Numeric.Algebra |
| DecidableZero | Numeric.Decidable.Zero, Numeric.Algebra |
| degree | Numeric.Domain.Euclidean |
| denominator | Numeric.Field.Fraction |
| Dioid | Numeric.Dioid.Class, Numeric.Algebra |
| Distinguished | Numeric.Algebra.Distinguished.Class, Numeric.Coalgebra.Quaternion, Numeric.Coalgebra.Dual, Numeric.Algebra.Quaternion, Numeric.Algebra.Dual, Numeric.Algebra.Complex |
| divide | Numeric.Domain.Euclidean |
| divides | Numeric.Domain.Integral |
| Division | Numeric.Algebra.Division, Numeric.Algebra |
| DivisionAlgebra | Numeric.Algebra.Division, Numeric.Algebra |
| DivisionRing | Numeric.Ring.Division, Numeric.Algebra |
| Domain | Numeric.Domain.Class |
| 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 |