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.5.0: Constructive abstract algebra