Index - D
| DecidableAssociates | Numeric.Algebra |
| DecidableUnits | Numeric.Algebra |
| DecidableZero | Numeric.Algebra |
| Dioid | Numeric.Algebra |
| Division | Numeric.Algebra |
| DivisionAlgebra | Numeric.Algebra |
| dot | Numeric.Algebra.Geometric |
algebra-0.6.0: Constructive abstract algebra