| %+ | Algebra.Internal |
| %- | Algebra.Internal |
| :+: | Algebra.Internal |
| :- | Algebra.Internal |
| :-: | Algebra.Internal |
| :.: | Algebra.Internal |
| :<<= | Algebra.Internal |
| :<= | Algebra.Internal |
| addToIdeal | Algebra.Ring.Noetherian |
| allV | Algebra.Internal |
| appendIdeal | Algebra.Ring.Noetherian |
| appendV | Algebra.Internal |
| boolToClassLeq | Algebra.Internal |
| boolToPropLeq | Algebra.Internal |
| buildVarsList | Algebra.Ring.Polynomial.Monomorphic |
| calcGroebnerBasis | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| calcGroebnerBasisWith | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| castMonomial | Algebra.Ring.Polynomial |
| castPolynomial | Algebra.Ring.Polynomial |
| changeOrder | Algebra.Ring.Polynomial |
| coeff | Algebra.Ring.Polynomial |
| coefficient | Algebra.Ring.Polynomial.Parser |
| Comp | Algebra.Internal |
| demote | Algebra.Internal |
| demote' | Algebra.Internal |
| demoteComposed | Algebra.Internal |
| dimension | Algebra.Ring.Polynomial.Monomorphic |
| divModPolynomial | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| divModPolynomialWith | Algebra.Algorithms.Groebner.Monomorphic |
| divPolynomial | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| divPolynomialWith | Algebra.Algorithms.Groebner.Monomorphic |
| divs | Algebra.Ring.Polynomial |
| dropV | Algebra.Internal |
| eliminate | Algebra.Algorithms.Groebner.Monomorphic |
| encodeMonomial | Algebra.Ring.Polynomial.Monomorphic |
| encodeMonomList | Algebra.Ring.Polynomial.Monomorphic |
| encodePolynomial | Algebra.Ring.Polynomial.Monomorphic |
| Eql | |
| 1 (Type/Class) | Algebra.Internal |
| 2 (Data Constructor) | Algebra.Internal |
| eqlRefl | Algebra.Internal |
| eqlSymm | Algebra.Internal |
| eqlTrans | Algebra.Internal |
| eqPreservesS | Algebra.Internal |
| eqSuccMinus | Algebra.Internal |
| expression | Algebra.Ring.Polynomial.Parser |
| filterIdeal | Algebra.Ring.Noetherian |
| foldlV | Algebra.Internal |
| foldrV | Algebra.Internal |
| fromList | Algebra.Ring.Polynomial |
| generators | Algebra.Ring.Noetherian |
| genVars | Algebra.Ring.Polynomial |
| getMonomial | Algebra.Ring.Polynomial |
| getTerms | Algebra.Ring.Polynomial |
| graded | Algebra.Ring.Polynomial |
| Grevlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| 2 (Data Constructor) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| grevlex | Algebra.Ring.Polynomial |
| Grlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| 2 (Data Constructor) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| grlex | Algebra.Ring.Polynomial |
| Groebnerable | Algebra.Algorithms.Groebner.Monomorphic |
| headV | Algebra.Internal |
| Ideal | |
| 1 (Type/Class) | Algebra.Ring.Noetherian |
| 2 (Data Constructor) | Algebra.Ring.Noetherian |
| index | Algebra.Ring.Polynomial.Parser |
| injectCoeff | Algebra.Ring.Polynomial |
| injectVar | Algebra.Ring.Polynomial.Monomorphic |
| intersection | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| isIdealMember | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| IsMonomialOrder | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| IsOrder | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| IsPolynomial | Algebra.Ring.Polynomial |
| lcmMonomial | Algebra.Ring.Polynomial |
| leadingCoeff | Algebra.Ring.Polynomial |
| leadingMonomial | Algebra.Ring.Polynomial |
| leadingTerm | Algebra.Ring.Polynomial |
| lengthV | Algebra.Internal |
| Leq | Algebra.Internal |
| leqAnitsymmetric | Algebra.Internal |
| LeqInstance | |
| 1 (Type/Class) | Algebra.Internal |
| 2 (Data Constructor) | Algebra.Internal |
| leqLhs | Algebra.Internal |
| leqRefl | Algebra.Internal |
| leqRhs | Algebra.Internal |
| leqSucc | Algebra.Internal |
| leqTrans | Algebra.Internal |
| LeqTrueInstance | |
| 1 (Type/Class) | Algebra.Internal |
| 2 (Data Constructor) | Algebra.Internal |
| Lex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| 2 (Data Constructor) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| lex | Algebra.Ring.Polynomial |
| lexeme | Algebra.Ring.Polynomial.Parser |
| liftPoly | Algebra.Internal |
| mapIdeal | Algebra.Ring.Noetherian |
| mapV | Algebra.Internal |
| Max | Algebra.Internal |
| maxComm | Algebra.Internal |
| maxLeqL | Algebra.Internal |
| maxLeqR | Algebra.Internal |
| maxZL | Algebra.Internal |
| maxZR | Algebra.Internal |
| Min | Algebra.Internal |
| minComm | Algebra.Internal |
| minimizeGroebnerBasis | Algebra.Algorithms.Groebner |
| minLeqL | Algebra.Internal |
| minLeqR | Algebra.Internal |
| minusCongEq | Algebra.Internal |
| minusNilpotent | Algebra.Internal |
| modPolynomial | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| modPolynomialWith | Algebra.Algorithms.Groebner.Monomorphic |
| Monomial | |
| 1 (Type/Class) | Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Ring.Polynomial.Monomorphic |
| monomial | Algebra.Ring.Polynomial.Parser |
| MonomialOrder | Algebra.Ring.Polynomial |
| Monomorphic | |
| 1 (Type/Class) | Algebra.Internal |
| 2 (Data Constructor) | Algebra.Internal |
| Monomorphicable | Algebra.Internal |
| monomorphicCompose | Algebra.Internal |
| MonomorphicRep | Algebra.Internal |
| Nat | Algebra.Internal |
| Nil | Algebra.Internal |
| NoetherianRing | Algebra.Ring.Noetherian |
| normalize | |
| 1 (Function) | Algebra.Ring.Polynomial |
| 2 (Function) | Algebra.Ring.Polynomial.Monomorphic |
| normalizeMonom | Algebra.Ring.Polynomial.Monomorphic |
| number | Algebra.Ring.Polynomial.Parser |
| One | Algebra.Internal |
| Order | Algebra.Ring.Polynomial |
| orderedBy | Algebra.Ring.Polynomial |
| OrderedMonomial | |
| 1 (Type/Class) | Algebra.Ring.Polynomial |
| 2 (Data Constructor) | Algebra.Ring.Polynomial |
| OrderedPolynomial | Algebra.Ring.Polynomial |
| parseDouble | Algebra.Ring.Polynomial.Parser |
| parseInt | Algebra.Ring.Polynomial.Parser |
| parsePolyn | Algebra.Ring.Polynomial.Parser |
| plusAssociative | Algebra.Internal |
| plusCommutative | Algebra.Internal |
| plusLeqL | Algebra.Internal |
| plusLeqR | Algebra.Internal |
| plusMinusEqL | Algebra.Internal |
| plusMinusEqR | Algebra.Internal |
| plusZL | Algebra.Internal |
| plusZR | Algebra.Internal |
| polyn | Algebra.Ring.Polynomial.Monomorphic |
| Polynomial | |
| 1 (Type/Class) | Algebra.Ring.Polynomial |
| 2 (Type/Class) | Algebra.Ring.Polynomial.Monomorphic |
| 3 (Data Constructor) | Algebra.Ring.Polynomial.Monomorphic |
| polynomial | Algebra.Ring.Polynomial |
| PolynomialSetting | Algebra.Ring.Polynomial.Monomorphic |
| polyOp | Algebra.Ring.Polynomial.Parser |
| PolySetting | Algebra.Ring.Polynomial.Monomorphic |
| principalIdeal | Algebra.Ring.Noetherian |
| promote | Algebra.Internal |
| promoteList | Algebra.Ring.Polynomial.Monomorphic |
| promoteListWithDim | Algebra.Ring.Polynomial.Monomorphic |
| promoteListWithVarOrder | Algebra.Ring.Polynomial.Monomorphic |
| propToBoolLeq | Algebra.Internal |
| propToClassLeq | Algebra.Internal |
| quotByPrincipalIdeal | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| quotIdeal | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| reduceMinimalGroebnerBasis | Algebra.Algorithms.Groebner |
| renameVars | Algebra.Ring.Polynomial.Monomorphic |
| Revlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| 2 (Data Constructor) | Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic |
| revlex | Algebra.Ring.Polynomial |
| S | Algebra.Internal |
| sAndPlusOne | Algebra.Internal |
| saturationByPrincipalIdeal | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| saturationIdeal | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| scastMonomial | Algebra.Ring.Polynomial |
| scastPolynomial | Algebra.Ring.Polynomial |
| sDegree | Algebra.Ring.Polynomial |
| shiftR | Algebra.Ring.Polynomial |
| showPolynomial | Algebra.Ring.Polynomial.Monomorphic |
| showPolynomialWithVars | Algebra.Ring.Polynomial |
| signed | Algebra.Ring.Polynomial.Parser |
| signed' | Algebra.Ring.Polynomial.Parser |
| simpleBuchberger | Algebra.Algorithms.Groebner |
| Sing | Algebra.Internal |
| sing | Algebra.Internal |
| SingInstance | |
| 1 (Type/Class) | Algebra.Internal |
| 2 (Data Constructor) | Algebra.Internal |
| singInstance | Algebra.Internal |
| singletonV | Algebra.Internal |
| sLengthV | Algebra.Internal |
| sMax | Algebra.Internal |
| sMin | Algebra.Internal |
| SNat | Algebra.Internal |
| SOne | Algebra.Internal |
| sOne | Algebra.Internal |
| splitAtV | Algebra.Internal |
| sPolynomial | Algebra.Ring.Polynomial |
| SS | Algebra.Internal |
| sS | Algebra.Internal |
| SThree | Algebra.Internal |
| sThree | Algebra.Internal |
| STwo | Algebra.Internal |
| sTwo | Algebra.Internal |
| SuccLeqSucc | Algebra.Internal |
| symbol | Algebra.Ring.Polynomial.Parser |
| SZ | Algebra.Internal |
| sZ | Algebra.Internal |
| SZero | Algebra.Internal |
| sZero | Algebra.Internal |
| tailV | Algebra.Internal |
| takeV | Algebra.Internal |
| term | Algebra.Ring.Polynomial.Parser |
| thEliminationIdeal | |
| 1 (Function) | Algebra.Algorithms.Groebner |
| 2 (Function) | Algebra.Algorithms.Groebner.Monomorphic |
| Three | Algebra.Internal |
| toIdeal | Algebra.Ring.Noetherian |
| toInt | Algebra.Internal |
| toList | Algebra.Internal |
| toPolyn | Algebra.Ring.Polynomial.Parser |
| toPolynomial | Algebra.Ring.Polynomial |
| toPolynomialSetting | Algebra.Ring.Polynomial.Monomorphic |
| toProxy | Algebra.Internal |
| transformMonomial | Algebra.Ring.Polynomial |
| tryDiv | Algebra.Ring.Polynomial |
| Two | Algebra.Internal |
| uniformlyPromote | Algebra.Ring.Polynomial.Monomorphic |
| uniformlyPromoteWithDim | Algebra.Ring.Polynomial.Monomorphic |
| unPolynomial | Algebra.Ring.Polynomial.Monomorphic |
| var | Algebra.Ring.Polynomial |
| Variable | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomorphic |
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomorphic |
| variable | Algebra.Ring.Polynomial.Parser |
| variableWithPower | Algebra.Ring.Polynomial.Parser |
| varIndex | Algebra.Ring.Polynomial.Monomorphic |
| varName | Algebra.Ring.Polynomial.Monomorphic |
| varX | Algebra.Ring.Polynomial |
| Vector | Algebra.Internal |
| viaPoly | Algebra.Internal |
| withPolymorhic | Algebra.Internal |
| Z | Algebra.Internal |
| zAbsorbsMinL | Algebra.Internal |
| zAbsorbsMinR | Algebra.Internal |
| Zero | Algebra.Internal |
| ZeroLeq | Algebra.Internal |
| zipWithV | Algebra.Internal |