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