ideas-math-types-1.0: Common types for mathematical domain reasoners

Index - D

DecimalFractionDomain.Math.Data.DecimalFraction
decimalFractionViewDomain.Math.Numeric.Views
degreeDomain.Math.Data.Polynomial
deMorganAndDomain.Algebra.BooleanLaws
deMorganOrDomain.Algebra.BooleanLaws
denominatorDomain.Math.Data.MixedFraction
derivativeDomain.Math.Data.Polynomial
DFDomain.Math.Data.DecimalFraction
diffSymbolDomain.Math.Expr.Symbols, Domain.Math.Expr
digitsDomain.Math.Data.DecimalFraction
disjunctionsDomain.Algebra.Boolean, Domain.Logic.Formula
distributiveLawsDomain.Algebra.FieldLaws
distributiveSubtractionLawsDomain.Algebra.FieldLaws
divideSymbolDomain.Math.Expr.Symbols, Domain.Math.Expr
divViewDomain.Math.Expr.Views, Domain.Math.Expr
doubleComplementDomain.Algebra.BooleanLaws
doubleInverseDomain.Algebra.GroupLaws
doubleNFDomain.Math.Numeric.Views
doubleViewDomain.Math.Numeric.Views
dualComplDomain.Algebra.Boolean, Domain.Logic.Formula
DualMonoidDomain.Algebra.Boolean, Domain.Logic.Formula