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