algebra-4.3.1: Constructive abstract algebra

Index - D

D 
1 (Data Constructor)Numeric.Coalgebra.Dual
2 (Data Constructor)Numeric.Algebra.Dual
dNumeric.Algebra.Dual.Class, Numeric.Coalgebra.Dual, Numeric.Algebra.Dual
DecidableAssociatesNumeric.Decidable.Associates, Numeric.Algebra
DecidableNilpotentNumeric.Decidable.Nilpotent
DecidableUnitsNumeric.Decidable.Units, Numeric.Algebra
DecidableZeroNumeric.Decidable.Zero, Numeric.Algebra
degreeNumeric.Domain.Euclidean
denominatorNumeric.Field.Fraction
DioidNumeric.Dioid.Class, Numeric.Algebra
DistinguishedNumeric.Algebra.Distinguished.Class, Numeric.Coalgebra.Quaternion, Numeric.Coalgebra.Dual, Numeric.Algebra.Quaternion, Numeric.Algebra.Dual, Numeric.Algebra.Complex
divideNumeric.Domain.Euclidean
dividesNumeric.Domain.Integral
DivisionNumeric.Algebra.Division, Numeric.Algebra
DivisionAlgebraNumeric.Algebra.Division, Numeric.Algebra
DivisionRingNumeric.Ring.Division, Numeric.Algebra
DomainNumeric.Domain.Class
dotNumeric.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
DualBasisNumeric.Algebra.Dual
DualBasis'Numeric.Coalgebra.Dual