| I | Ideas.Text.JSON |
| Id | |
| 1 (Type/Class) | Ideas.Common.Id, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| idA | Ideas.Text.HTML |
| ideasLastChanged | Ideas.Main.Revision |
| ideasRevision | Ideas.Main.Revision |
| ideasVersion | Ideas.Main.Revision |
| idempotent | Ideas.Common.Algebra.GroupLaws |
| idempotentFor | Ideas.Common.Algebra.GroupLaws |
| Identify | Ideas.Common.Id, Ideas.Common.Library |
| identity | Ideas.Common.View, Ideas.Common.Library |
| identityLaws | Ideas.Common.Algebra.GroupLaws |
| identitySymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| identLetter | Ideas.Text.Parsing |
| identStart | Ideas.Text.Parsing |
| IdRefsType | Ideas.Text.XML.Document |
| IdRefType | Ideas.Text.XML.Document |
| idRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| IdType | Ideas.Text.XML.Document |
| Ignore | Ideas.Text.XML.Document |
| image | Ideas.Text.HTML |
| imageSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Implied | Ideas.Text.XML.Document |
| implies | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| impliesSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| Include | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Service.FeedbackScript.Syntax |
| includes | Ideas.Service.FeedbackScript.Syntax |
| inContext | Ideas.Common.Exercise, Ideas.Common.Library |
| Incorrect | Ideas.Service.ProblemDecomposition |
| incSourceColumn | Ideas.Text.Parsing |
| incSourceLine | Ideas.Text.Parsing |
| infinitySymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| Infix | Ideas.Text.Parsing |
| InJSON | Ideas.Text.JSON |
| innermost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| InputFile | Ideas.Main.Options |
| insertRef | Ideas.Common.Environment, Ideas.Common.Library |
| Int | Ideas.Service.Types |
| interleave | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| interrupted | Ideas.Common.Utils.QuickCheck |
| intSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| inverse | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Algebra.Group |
| inverseDistr | Ideas.Common.Algebra.GroupLaws |
| inverseDistrFlipped | Ideas.Common.Algebra.GroupLaws |
| inverseIdentity | Ideas.Common.Algebra.GroupLaws |
| inverseLaws | Ideas.Common.Algebra.GroupLaws |
| inverseSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| InXML | Ideas.Text.XML |
| IO | Ideas.Service.Types |
| isAnd | Ideas.Common.Algebra.Boolean |
| isAppend | Ideas.Common.Algebra.Group |
| isAppendInv | Ideas.Common.Algebra.Group |
| isAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isBinary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isBuggy | Ideas.Common.Classes, Ideas.Common.Library |
| isCanonical | Ideas.Common.View, Ideas.Common.Library |
| isCanonicalWith | Ideas.Common.View, Ideas.Common.Library |
| isCombiningChar | Ideas.Text.XML.Unicode |
| isComplement | Ideas.Common.Algebra.Boolean |
| isConfluent | Ideas.Common.Rewriting.Confluence |
| isDigit | Ideas.Text.XML.Unicode |
| isDivision | Ideas.Common.Algebra.Field |
| isDone | Ideas.Common.Strategy.Sequence |
| isEmpty | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Derivation, Ideas.Common.Library |
| 3 (Function) | Ideas.Common.Algebra.Group |
| isEmptyPrefix | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| isError | Ideas.Common.Utils.TestSuite |
| isExtender | Ideas.Text.XML.Unicode |
| isFalse | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| isFinal | Ideas.Common.Traversal.Iterator |
| isFirst | Ideas.Common.Traversal.Iterator |
| isFunction | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsId | Ideas.Common.Id, Ideas.Common.Library |
| isInverse | Ideas.Common.Algebra.Group |
| isLeaf | Ideas.Common.Traversal.Navigator |
| isLetter | Ideas.Text.XML.Unicode |
| isMajor | Ideas.Common.Classes, Ideas.Common.Library |
| IsMatcher | Ideas.Common.View, Ideas.Common.Library |
| isMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isMinor | Ideas.Common.Classes, Ideas.Common.Library |
| isMinus | Ideas.Common.Algebra.Field |
| isMonoidZero | Ideas.Common.Algebra.Group |
| isNegate | Ideas.Common.Algebra.Field |
| Iso | Ideas.Service.Types |
| isOk | Ideas.Common.Utils.TestSuite |
| Isomorphism | Ideas.Common.View, Ideas.Common.Library |
| isOne | Ideas.Common.Algebra.Field |
| isOr | Ideas.Common.Algebra.Boolean |
| isPlus | Ideas.Common.Algebra.Field |
| isPrivate | Ideas.Common.Exercise, Ideas.Common.Library |
| IsProcess | Ideas.Common.Strategy.Process |
| isPublic | Ideas.Common.Exercise, Ideas.Common.Library |
| isReady | Ideas.Common.Exercise, Ideas.Common.Library |
| isRecip | Ideas.Common.Algebra.Field |
| isRecognizer | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| isRewriteRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| isStatic | Ideas.Encoding.LinkManager |
| IsStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| isSubsetOf | Ideas.Common.Utils |
| isSuitable | Ideas.Common.Exercise, Ideas.Common.Library |
| isSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isTimes | Ideas.Common.Algebra.Field |
| isTop | Ideas.Common.Traversal.Navigator |
| isTrue | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| isUnary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isUTF8 | Ideas.Text.UTF8 |
| isVariable | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsView | Ideas.Common.View, Ideas.Common.Library |
| isWarning | Ideas.Common.Utils.TestSuite |
| iSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| isZero | Ideas.Common.Algebra.Field |
| isZeroTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| italic | Ideas.Text.HTML |
| Iterator | Ideas.Common.Traversal.Iterator |