F | Domain.Logic.Formula |
factorize | Domain.Math.Data.Polynomial |
factors | Domain.Math.Data.Primes |
false | Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.Interval, Domain.Math.Data.OrList |
falseSymbol | Domain.Logic.Formula |
fcompSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
Field | Domain.Algebra.Field |
fieldLaws | Domain.Algebra.FieldLaws |
flipSides | Domain.Math.Data.Relation |
foldLogic | Domain.Logic.Formula |
fractionForm | Domain.Math.Numeric.Views |
fractionPart | Domain.Math.Data.MixedFraction |
fromAdditive | Domain.Algebra.Field |
fromAdditiveLaw | Domain.Algebra.FieldLaws |
fromAnd | Domain.Algebra.Boolean, Domain.Logic.Formula |
fromAndLaw | Domain.Algebra.BooleanLaws |
fromBool | Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.OrList |
fromDouble | |
1 (Function) | Domain.Math.Expr.Data, Domain.Math.Expr |
2 (Function) | Domain.Math.Data.DecimalFraction |
fromExpr | Domain.Math.Expr.Data, Domain.Math.Expr |
fromMultiplicative | Domain.Algebra.Field |
fromMultiplicativeLaw | Domain.Algebra.FieldLaws |
fromOr | Domain.Algebra.Boolean, Domain.Logic.Formula |
fromOrLaw | Domain.Algebra.BooleanLaws |
fromPolynomial | Domain.Math.Data.Polynomial |
fromSmart | Domain.Algebra.SmartGroup |
fromSmartField | Domain.Algebra.SmartGroup |
fromSmartGroup | Domain.Algebra.SmartGroup |
fromSmartZero | Domain.Algebra.SmartGroup |
fromSquareRoot | Domain.Math.Data.SquareRoot |
fromWithBool | Domain.Math.Data.WithBool |
fromWithZero | Domain.Algebra.Group |