DecimalFraction | Domain.Math.Data.DecimalFraction |
decimalFractionView | Domain.Math.Numeric.Views |
degree | Domain.Math.Data.Polynomial |
deMorganAnd | Domain.Algebra.BooleanLaws |
deMorganOr | Domain.Algebra.BooleanLaws |
denominator | Domain.Math.Data.MixedFraction |
derivative | Domain.Math.Data.Polynomial |
DF | Domain.Math.Data.DecimalFraction |
diffSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
digits | Domain.Math.Data.DecimalFraction |
disjunctions | Domain.Algebra.Boolean, Domain.Logic.Formula |
distributiveLaws | Domain.Algebra.FieldLaws |
distributiveSubtractionLaws | Domain.Algebra.FieldLaws |
divideSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
divView | Domain.Math.Expr.Views, Domain.Math.Expr |
doubleComplement | Domain.Algebra.BooleanLaws |
doubleInverse | Domain.Algebra.GroupLaws |
doubleNF | Domain.Math.Numeric.Views |
doubleView | Domain.Math.Numeric.Views |
dualCompl | Domain.Algebra.Boolean, Domain.Logic.Formula |
DualMonoid | Domain.Algebra.Boolean, Domain.Logic.Formula |