ideas-math-types-1.0: Common types for mathematical domain reasoners (Index - I)

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

A
B
C
D
E
F
G
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
:
.
<
>
^
|
All

Index - I

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