| .&&. | Domain.Algebra.SmartGroup, Domain.Logic.Views |
| .*. | Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr |
| .+. | Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr |
| .-. | Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr |
| .->. | Domain.Logic.Views |
| ./. | Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr |
| ./=. | Domain.Math.Data.Relation |
| .<->. | Domain.Logic.Views |
| .<. | Domain.Math.Data.Relation |
| .<=. | Domain.Math.Data.Relation |
| .==. | Domain.Math.Data.Relation |
| .>. | Domain.Math.Data.Relation |
| .>=. | Domain.Math.Data.Relation |
| .^. | Domain.Math.Expr.Views, Domain.Math.Expr |
| .||. | Domain.Algebra.SmartGroup, Domain.Logic.Views |
| .~=. | Domain.Math.Data.Relation |
| :&&: | Domain.Logic.Formula |
| :*: | Domain.Math.Expr.Data, Domain.Math.Expr |
| :+: | Domain.Math.Expr.Data, Domain.Math.Expr |
| :-: | Domain.Math.Expr.Data, Domain.Math.Expr |
| :->: | Domain.Logic.Formula |
| :/: | Domain.Math.Expr.Data, Domain.Math.Expr |
| :<->: | Domain.Logic.Formula |
| :<: | Domain.Math.Data.Relation |
| :<=: | Domain.Math.Data.Relation |
| :==: | |
| 1 (Data Constructor) | Domain.Algebra.Law |
| 2 (Data Constructor) | Domain.Math.Data.Relation |
| :>: | Domain.Math.Data.Relation |
| :>=: | Domain.Math.Data.Relation |
| :||: | Domain.Logic.Formula |
| <&&> | Domain.Algebra.Boolean, Domain.Logic.Formula |
| <> | Domain.Algebra.Group, Domain.Math.Data.OrList |
| <>- | Domain.Algebra.Group |
| <||> | Domain.Algebra.Boolean, Domain.Logic.Formula |
| >< | Domain.Algebra.Boolean, Domain.Logic.Formula |
| abelianGroupLaws | Domain.Algebra.GroupLaws |
| absorptionAndLaws | Domain.Algebra.BooleanLaws |
| absorptionOrLaws | Domain.Algebra.BooleanLaws |
| absSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| acoshSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| acosSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| Additive | |
| 1 (Type/Class) | Domain.Algebra.Field |
| 2 (Data Constructor) | Domain.Algebra.Field |
| addToClipboard | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| addToClipboardG | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| allPowers | Domain.Math.Data.PrimeFactors |
| And | |
| 1 (Type/Class) | Domain.Algebra.Boolean, Domain.Logic.Formula |
| 2 (Data Constructor) | Domain.Algebra.Boolean, Domain.Logic.Formula |
| andOverOrLaws | Domain.Algebra.BooleanLaws |
| ands | Domain.Algebra.Boolean, Domain.Logic.Formula |
| andSymbol | Domain.Logic.Formula |
| andView | Domain.Logic.Views |
| appendInv | Domain.Algebra.Group |
| appendInverseLaws | Domain.Algebra.GroupLaws |
| Approximately | Domain.Math.Data.Relation |
| asinhSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| asinSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| associative | Domain.Algebra.GroupLaws |
| associativeFor | Domain.Algebra.GroupLaws |
| associativeList | Domain.Algebra.Group |
| atanhSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| atanSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| Boolean | Domain.Algebra.Boolean, Domain.Logic.Formula |
| booleanLaws | Domain.Algebra.BooleanLaws |
| BoolValue | Domain.Algebra.Boolean, Domain.Logic.Formula |
| bottomSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| catLogic | Domain.Logic.Formula |
| catOrList | Domain.Math.Data.OrList |
| Clipboard | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| closed | Domain.Math.Data.Interval |
| CoBoolean | Domain.Algebra.Boolean, Domain.Logic.Formula |
| coefficient | Domain.Math.Data.Polynomial |
| CoField | Domain.Algebra.Field |
| CoGroup | Domain.Algebra.Group |
| commutative | Domain.Algebra.GroupLaws |
| commutativeFor | Domain.Algebra.GroupLaws |
| commutativeMonoidLaws | Domain.Algebra.GroupLaws |
| commutativeRingLaws | Domain.Algebra.FieldLaws |
| CoMonoid | Domain.Algebra.Group |
| CoMonoidZero | Domain.Algebra.Group |
| complement | Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.Interval |
| complementAndLaws | Domain.Algebra.BooleanLaws |
| complementFalse | Domain.Algebra.BooleanLaws |
| complementOrLaws | Domain.Algebra.BooleanLaws |
| complementTrue | Domain.Algebra.BooleanLaws |
| con | |
| 1 (Function) | Domain.Math.Data.SquareRoot |
| 2 (Function) | Domain.Math.Data.Polynomial |
| conjunctions | Domain.Algebra.Boolean, Domain.Logic.Formula |
| constructor | Domain.Math.Data.Relation |
| coprime | Domain.Math.Data.Primes |
| CoRing | Domain.Algebra.Field |
| CoSemiRing | Domain.Algebra.Field |
| coshSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| cosSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| countEquivalences | Domain.Logic.Formula |
| 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 |
| empty | Domain.Math.Data.Interval |
| Endpoint | Domain.Math.Data.Interval |
| eqLogic | Domain.Logic.Formula |
| equalLogicA | Domain.Logic.Generator |
| equalLogicACI | Domain.Logic.Generator |
| EqualTo | Domain.Math.Data.Relation |
| Equation | Domain.Math.Data.Relation |
| Equations | Domain.Math.Data.Relation |
| equationView | Domain.Math.Data.Relation |
| equivalent | Domain.Algebra.Boolean, Domain.Logic.Formula |
| equivalentSymbol | Domain.Logic.Formula |
| eval | |
| 1 (Function) | Domain.Math.Data.Relation |
| 2 (Function) | Domain.Math.Data.SquareRoot |
| 3 (Function) | Domain.Math.Data.Polynomial |
| evalLogic | Domain.Logic.Formula |
| except | Domain.Math.Data.Interval |
| exchangeInverses | Domain.Algebra.FieldLaws |
| Excluding | Domain.Math.Data.Interval |
| Expr | Domain.Math.Expr.Data, Domain.Math.Expr |
| expSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| 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 |
| gcdSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| generateLevel | Domain.Logic.Generator |
| generateLogic | Domain.Logic.Generator |
| GreaterThan | Domain.Math.Data.Relation |
| greaterThan | Domain.Math.Data.Interval |
| GreaterThanOrEqualTo | Domain.Math.Data.Relation |
| greaterThanOrEqualTo | Domain.Math.Data.Interval |
| greatestPower | Domain.Math.Data.PrimeFactors |
| Group | Domain.Algebra.Group |
| groupLaws | Domain.Algebra.GroupLaws |
| idempotent | Domain.Algebra.GroupLaws |
| idempotentFor | Domain.Algebra.GroupLaws |
| identityLaws | Domain.Algebra.GroupLaws |
| imaginary | Domain.Math.Data.SquareRoot |
| imaginaryUnit | Domain.Math.Data.SquareRoot |
| implies | Domain.Algebra.Boolean, Domain.Logic.Formula |
| impliesSymbol | Domain.Logic.Formula |
| Including | Domain.Math.Data.Interval |
| Inequality | Domain.Math.Data.Relation |
| inequalityView | Domain.Math.Data.Relation |
| integerNF | Domain.Math.Numeric.Views |
| integerView | Domain.Math.Numeric.Views |
| intersect | Domain.Math.Data.Interval |
| Interval | Domain.Math.Data.Interval |
| inverse | Domain.Algebra.Group |
| inverseDistr | Domain.Algebra.GroupLaws |
| inverseDistrFlipped | Domain.Algebra.GroupLaws |
| inverseIdentity | Domain.Algebra.GroupLaws |
| inverseLaws | Domain.Algebra.GroupLaws |
| isAnd | Domain.Algebra.Boolean, Domain.Logic.Formula |
| isAppend | Domain.Algebra.Group |
| isAppendInv | Domain.Algebra.Group |
| isAtomic | Domain.Logic.Formula |
| isCNF | Domain.Logic.Formula |
| isComplement | Domain.Algebra.Boolean, Domain.Logic.Formula |
| isDivide | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isDivideSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isDivision | Domain.Algebra.Field |
| isDNF | Domain.Logic.Formula |
| isEmpty | Domain.Algebra.Group |
| isFalse | Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.OrList |
| isIn | Domain.Math.Data.Interval |
| isInverse | Domain.Algebra.Group |
| isLogSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isMinus | |
| 1 (Function) | Domain.Algebra.Field |
| 2 (Function) | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isMixedFractionSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isMonoidZero | Domain.Algebra.Group |
| isNegate | |
| 1 (Function) | Domain.Algebra.Field |
| 2 (Function) | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isNot | Domain.Logic.Formula |
| isOne | Domain.Algebra.Field |
| isOr | Domain.Algebra.Boolean, Domain.Logic.Formula |
| isPlus | |
| 1 (Function) | Domain.Algebra.Field |
| 2 (Function) | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isPower | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isPowerSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isPrime | Domain.Math.Data.Primes |
| isqrt | Domain.Math.Data.SquareRoot |
| isRecip | Domain.Algebra.Field |
| isRoot | |
| 1 (Function) | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| 2 (Function) | Domain.Math.Data.Polynomial |
| isRootSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isSymmetric | Domain.Math.Data.Relation |
| isTimes | |
| 1 (Function) | Domain.Algebra.Field |
| 2 (Function) | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| isTrue | Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.OrList |
| isZero | Domain.Algebra.Field |
| join | Domain.Math.Data.WithBool |
| lambdaSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| Law | Domain.Algebra.Law |
| law | Domain.Algebra.Law |
| lawAbs | Domain.Algebra.Law |
| LawSpec | Domain.Algebra.Law |
| lcmSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| leftDistributive | Domain.Algebra.FieldLaws |
| leftDistributiveFor | Domain.Algebra.GroupLaws |
| leftHandSide | Domain.Math.Data.Relation |
| leftIdentity | Domain.Algebra.GroupLaws |
| leftInverse | Domain.Algebra.GroupLaws |
| leftNegateTimes | Domain.Algebra.FieldLaws |
| leftOpen | Domain.Math.Data.Interval |
| leftZero | Domain.Algebra.GroupLaws |
| LessThan | Domain.Math.Data.Relation |
| lessThan | Domain.Math.Data.Interval |
| LessThanOrEqualTo | Domain.Math.Data.Relation |
| lessThanOrEqualTo | Domain.Math.Data.Interval |
| listSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| lnSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| Logic | Domain.Logic.Formula |
| LogicAlg | Domain.Logic.Formula |
| logSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| lookupClipboard | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| lookupClipboardG | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| lowestDegree | Domain.Math.Data.Polynomial |
| makeType | Domain.Math.Data.Relation |
| mapLaw | Domain.Algebra.Law |
| mappend | Domain.Algebra.Group |
| mconcat | Domain.Algebra.Group |
| mempty | Domain.Algebra.Group |
| minusSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| mixed | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| MixedFraction | Domain.Math.Data.MixedFraction |
| mixedFractionNF | Domain.Math.Numeric.Views |
| mixedFractionSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| mixedFractionView | Domain.Math.Numeric.Views |
| Monoid | Domain.Algebra.Group |
| monoidLaws | Domain.Algebra.GroupLaws |
| MonoidZero | Domain.Algebra.Group |
| monoidZeroLaws | Domain.Algebra.GroupLaws |
| Multiplicative | |
| 1 (Type/Class) | Domain.Algebra.Field |
| 2 (Data Constructor) | Domain.Algebra.Field |
| mzero | Domain.Algebra.Group |
| Nat | Domain.Math.Expr.Data, Domain.Math.Expr |
| naturalNF | Domain.Math.Numeric.Views |
| naturalView | Domain.Math.Numeric.Views |
| neg | Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr |
| Negate | Domain.Math.Expr.Data, Domain.Math.Expr |
| negateSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| negateTimesLaws | Domain.Algebra.FieldLaws |
| negativeRoots | Domain.Math.Data.Polynomial |
| noDuplicates | Domain.Math.Data.OrList |
| normalizeLogicA | Domain.Logic.Generator |
| Not | Domain.Logic.Formula |
| NotEqualTo | Domain.Math.Data.Relation |
| notRelation | Domain.Math.Data.Relation |
| notSymbol | Domain.Logic.Formula |
| Number | Domain.Math.Expr.Data, Domain.Math.Expr |
| numerator | Domain.Math.Data.MixedFraction |
| one | Domain.Algebra.Field |
| oneDisjunct | Domain.Math.Data.OrList |
| open | Domain.Math.Data.Interval |
| Or | |
| 1 (Type/Class) | Domain.Algebra.Boolean, Domain.Logic.Formula |
| 2 (Data Constructor) | Domain.Algebra.Boolean, Domain.Logic.Formula |
| OrList | Domain.Math.Data.OrList |
| orListView | Domain.Math.Data.OrList |
| orOverAndLaws | Domain.Algebra.BooleanLaws |
| ors | Domain.Algebra.Boolean, Domain.Logic.Formula |
| OrSet | Domain.Math.Data.OrList |
| orSetView | Domain.Math.Data.OrList |
| orSymbol | Domain.Logic.Formula |
| orView | Domain.Logic.Views |
| parseBoolEqExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseEqExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseExprM | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseExprTuple | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseLogicRelExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseOrsEqExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseOrsRelExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| parseRelExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| pExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| piSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| plusInverse | Domain.Algebra.Field |
| plusSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| plusView | Domain.Math.Expr.Views, Domain.Math.Expr |
| point | Domain.Math.Data.Interval |
| Polynomial | Domain.Math.Data.Polynomial |
| polynomialGCD | Domain.Math.Data.Polynomial |
| positiveRoots | Domain.Math.Data.Polynomial |
| powerSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| ppLogic | Domain.Logic.Formula |
| ppLogicPrio | Domain.Logic.Formula |
| pRelExpr | Domain.Math.Expr.Parser, Domain.Math.Expr |
| PrimeFactors | Domain.Math.Data.PrimeFactors |
| primeFactors | Domain.Math.Data.Primes |
| primes | Domain.Math.Data.Primes |
| product | Domain.Algebra.Field |
| productView | Domain.Math.Expr.Views, Domain.Math.Expr |
| propertyLaw | Domain.Algebra.Law |
| propsBoolean | Domain.Algebra.BooleanLaws |
| propsField | Domain.Algebra.FieldLaws |
| pushNot | Domain.Logic.Views |
| pushNotWith | Domain.Logic.Views |
| raise | Domain.Math.Data.Polynomial |
| rationalApproxView | Domain.Math.Numeric.Views |
| rationalNF | Domain.Math.Numeric.Views |
| rationalRelaxedForm | Domain.Math.Numeric.Views |
| rationalSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| rationalView | Domain.Math.Numeric.Views |
| Relation | Domain.Math.Data.Relation |
| Relational | Domain.Math.Data.Relation |
| relationSymbols | Domain.Math.Data.Relation |
| RelationType | Domain.Math.Data.Relation |
| relationType | Domain.Math.Data.Relation |
| removeClipboard | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| rewriteLaw | Domain.Algebra.Law |
| rightDistributive | Domain.Algebra.FieldLaws |
| rightDistributiveFor | Domain.Algebra.GroupLaws |
| rightHandSide | Domain.Math.Data.Relation |
| rightIdentity | Domain.Algebra.GroupLaws |
| rightInverse | Domain.Algebra.GroupLaws |
| rightNegateTimes | Domain.Algebra.FieldLaws |
| rightOpen | Domain.Math.Data.Interval |
| rightZero | Domain.Algebra.GroupLaws |
| Ring | Domain.Algebra.Field |
| ringLaws | Domain.Algebra.FieldLaws |
| root | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| rootSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| SafeDiv | Domain.Math.Safe |
| safeDiv | Domain.Math.Safe |
| safeDivFractional | Domain.Math.Safe |
| SafeNum | Domain.Algebra.Field |
| safeNum | Domain.Algebra.Field |
| SafePower | Domain.Math.Safe |
| safePower | Domain.Math.Safe |
| safeRecip | Domain.Math.Safe |
| safeRoot | Domain.Math.Safe |
| safeSqrt | Domain.Math.Safe |
| scale | Domain.Math.Data.SquareRoot |
| segments | Domain.Math.Data.Interval |
| selectVar | Domain.Math.Expr.Views, Domain.Math.Expr |
| SemiRing | Domain.Algebra.Field |
| semiRingLaws | Domain.Algebra.FieldLaws |
| signumSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| simpleProductView | Domain.Math.Expr.Views, Domain.Math.Expr |
| simpleSumView | Domain.Math.Expr.Views, Domain.Math.Expr |
| simplify | Domain.Logic.Views |
| sinhSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| sinSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| SLogic | Domain.Logic.Formula |
| Smart | |
| 1 (Type/Class) | Domain.Algebra.SmartGroup |
| 2 (Data Constructor) | Domain.Algebra.SmartGroup |
| SmartField | |
| 1 (Type/Class) | Domain.Algebra.SmartGroup |
| 2 (Data Constructor) | Domain.Algebra.SmartGroup |
| SmartGroup | |
| 1 (Type/Class) | Domain.Algebra.SmartGroup |
| 2 (Data Constructor) | Domain.Algebra.SmartGroup |
| SmartZero | |
| 1 (Type/Class) | Domain.Algebra.SmartGroup |
| 2 (Data Constructor) | Domain.Algebra.SmartGroup |
| splitPower | Domain.Math.Data.PrimeFactors |
| Sqrt | Domain.Math.Expr.Data, Domain.Math.Expr |
| sqrt | Domain.Math.Data.SquareRoot |
| sqrtRational | Domain.Math.Data.SquareRoot |
| SquareRoot | Domain.Math.Data.SquareRoot |
| sum | Domain.Algebra.Field |
| sumView | Domain.Math.Expr.Views, Domain.Math.Expr |
| Sym | Domain.Math.Expr.Data, Domain.Math.Expr |
| T | Domain.Logic.Formula |
| tanhSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| tanSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| tautology | Domain.Logic.Formula |
| testMe | Domain.Math.Data.Interval |
| testPolynomials | Domain.Math.Data.Polynomial |
| testPrimes | Domain.Math.Data.Primes |
| timesInverse | Domain.Algebra.Field |
| timesSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| timesView | Domain.Math.Expr.Views, Domain.Math.Expr |
| toExpr | Domain.Math.Expr.Data, Domain.Math.Expr |
| toList | Domain.Math.Data.SquareRoot |
| toOrList | Domain.Math.Data.OrList |
| toPolynomial | Domain.Math.Data.Polynomial |
| true | Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.Interval, Domain.Math.Data.OrList |
| trueSymbol | Domain.Logic.Formula |
| Unbounded | Domain.Math.Data.Interval |
| unbounded | Domain.Math.Data.Interval |
| union | Domain.Math.Data.Interval |
| validDivisor | Domain.Math.Data.DecimalFraction |
| Var | |
| 1 (Data Constructor) | Domain.Logic.Formula |
| 2 (Data Constructor) | Domain.Math.Expr.Data, Domain.Math.Expr |
| var | Domain.Math.Data.Polynomial |
| varsLogic | Domain.Logic.Formula |
| wholeNumber | Domain.Math.Data.MixedFraction |
| WithBool | Domain.Math.Data.WithBool |
| WithZero | Domain.Algebra.Group |
| zero | Domain.Algebra.Field |
| zeroLaws | Domain.Algebra.GroupLaws |
| ^ | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| |*| | Domain.Algebra.Field |
| |+| | Domain.Algebra.Field |
| |-| | Domain.Algebra.Field |
| |/| | Domain.Algebra.Field |