| 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 |