computational-algebra-0.0.2.0: Well-kinded computational algebra library, currently supporting Groebner basis.

Index

%+Algebra.Internal
%-Algebra.Internal
:+:Algebra.Internal
:-Algebra.Internal
:-:Algebra.Internal
:.:Algebra.Internal
:<<=Algebra.Internal
:<=Algebra.Internal
addToIdealAlgebra.Ring.Noetherian
allVAlgebra.Internal
appendIdealAlgebra.Ring.Noetherian
appendVAlgebra.Internal
boolToClassLeqAlgebra.Internal
boolToPropLeqAlgebra.Internal
buildVarsListAlgebra.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
castMonomialAlgebra.Ring.Polynomial
castPolynomialAlgebra.Ring.Polynomial
changeOrderAlgebra.Ring.Polynomial
coeffAlgebra.Ring.Polynomial
coefficientAlgebra.Ring.Polynomial.Parser
CompAlgebra.Internal
demoteAlgebra.Internal
demote'Algebra.Internal
demoteComposedAlgebra.Internal
dimensionAlgebra.Ring.Polynomial.Monomorphic
divModPolynomial 
1 (Function)Algebra.Algorithms.Groebner
2 (Function)Algebra.Algorithms.Groebner.Monomorphic
divModPolynomialWithAlgebra.Algorithms.Groebner.Monomorphic
divPolynomial 
1 (Function)Algebra.Algorithms.Groebner
2 (Function)Algebra.Algorithms.Groebner.Monomorphic
divPolynomialWithAlgebra.Algorithms.Groebner.Monomorphic
divsAlgebra.Ring.Polynomial
dropVAlgebra.Internal
eliminateAlgebra.Algorithms.Groebner.Monomorphic
encodeMonomialAlgebra.Ring.Polynomial.Monomorphic
encodeMonomListAlgebra.Ring.Polynomial.Monomorphic
encodePolynomialAlgebra.Ring.Polynomial.Monomorphic
Eql 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
eqlReflAlgebra.Internal
eqlSymmAlgebra.Internal
eqlTransAlgebra.Internal
eqPreservesSAlgebra.Internal
eqSuccMinusAlgebra.Internal
expressionAlgebra.Ring.Polynomial.Parser
filterIdealAlgebra.Ring.Noetherian
foldlVAlgebra.Internal
foldrVAlgebra.Internal
fromListAlgebra.Ring.Polynomial
generatorsAlgebra.Ring.Noetherian
genVarsAlgebra.Ring.Polynomial
getMonomialAlgebra.Ring.Polynomial
getTermsAlgebra.Ring.Polynomial
gradedAlgebra.Ring.Polynomial
Grevlex 
1 (Type/Class)Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
2 (Data Constructor)Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
grevlexAlgebra.Ring.Polynomial
Grlex 
1 (Type/Class)Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
2 (Data Constructor)Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
grlexAlgebra.Ring.Polynomial
GroebnerableAlgebra.Algorithms.Groebner.Monomorphic
headVAlgebra.Internal
Ideal 
1 (Type/Class)Algebra.Ring.Noetherian
2 (Data Constructor)Algebra.Ring.Noetherian
indexAlgebra.Ring.Polynomial.Parser
injectCoeffAlgebra.Ring.Polynomial
injectVarAlgebra.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
IsMonomialOrderAlgebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
IsOrderAlgebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
IsPolynomialAlgebra.Ring.Polynomial
lcmMonomialAlgebra.Ring.Polynomial
leadingCoeffAlgebra.Ring.Polynomial
leadingMonomialAlgebra.Ring.Polynomial
leadingTermAlgebra.Ring.Polynomial
lengthVAlgebra.Internal
LeqAlgebra.Internal
leqAnitsymmetricAlgebra.Internal
LeqInstance 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
leqLhsAlgebra.Internal
leqReflAlgebra.Internal
leqRhsAlgebra.Internal
leqSuccAlgebra.Internal
leqTransAlgebra.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
lexAlgebra.Ring.Polynomial
lexemeAlgebra.Ring.Polynomial.Parser
liftPolyAlgebra.Internal
mapIdealAlgebra.Ring.Noetherian
mapVAlgebra.Internal
MaxAlgebra.Internal
maxCommAlgebra.Internal
maxLeqLAlgebra.Internal
maxLeqRAlgebra.Internal
maxZLAlgebra.Internal
maxZRAlgebra.Internal
MinAlgebra.Internal
minCommAlgebra.Internal
minimizeGroebnerBasisAlgebra.Algorithms.Groebner
minLeqLAlgebra.Internal
minLeqRAlgebra.Internal
minusCongEqAlgebra.Internal
minusNilpotentAlgebra.Internal
modPolynomial 
1 (Function)Algebra.Algorithms.Groebner
2 (Function)Algebra.Algorithms.Groebner.Monomorphic
modPolynomialWithAlgebra.Algorithms.Groebner.Monomorphic
Monomial 
1 (Type/Class)Algebra.Ring.Polynomial
2 (Type/Class)Algebra.Ring.Polynomial.Monomorphic
monomialAlgebra.Ring.Polynomial.Parser
MonomialOrderAlgebra.Ring.Polynomial
Monomorphic 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
MonomorphicableAlgebra.Internal
monomorphicComposeAlgebra.Internal
MonomorphicRepAlgebra.Internal
NatAlgebra.Internal
NilAlgebra.Internal
NoetherianRingAlgebra.Ring.Noetherian
normalize 
1 (Function)Algebra.Ring.Polynomial
2 (Function)Algebra.Ring.Polynomial.Monomorphic
normalizeMonomAlgebra.Ring.Polynomial.Monomorphic
numberAlgebra.Ring.Polynomial.Parser
OneAlgebra.Internal
OrderAlgebra.Ring.Polynomial
orderedByAlgebra.Ring.Polynomial
OrderedMonomial 
1 (Type/Class)Algebra.Ring.Polynomial
2 (Data Constructor)Algebra.Ring.Polynomial
OrderedPolynomialAlgebra.Ring.Polynomial
parseDoubleAlgebra.Ring.Polynomial.Parser
parseIntAlgebra.Ring.Polynomial.Parser
parsePolynAlgebra.Ring.Polynomial.Parser
plusAssociativeAlgebra.Internal
plusCommutativeAlgebra.Internal
plusLeqLAlgebra.Internal
plusLeqRAlgebra.Internal
plusMinusEqLAlgebra.Internal
plusMinusEqRAlgebra.Internal
plusZLAlgebra.Internal
plusZRAlgebra.Internal
polynAlgebra.Ring.Polynomial.Monomorphic
Polynomial 
1 (Type/Class)Algebra.Ring.Polynomial
2 (Type/Class)Algebra.Ring.Polynomial.Monomorphic
3 (Data Constructor)Algebra.Ring.Polynomial.Monomorphic
polynomialAlgebra.Ring.Polynomial
PolynomialSettingAlgebra.Ring.Polynomial.Monomorphic
polyOpAlgebra.Ring.Polynomial.Parser
PolySettingAlgebra.Ring.Polynomial.Monomorphic
principalIdealAlgebra.Ring.Noetherian
promoteAlgebra.Internal
promoteListAlgebra.Ring.Polynomial.Monomorphic
promoteListWithDimAlgebra.Ring.Polynomial.Monomorphic
promoteListWithVarOrderAlgebra.Ring.Polynomial.Monomorphic
propToBoolLeqAlgebra.Internal
propToClassLeqAlgebra.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
reduceMinimalGroebnerBasisAlgebra.Algorithms.Groebner
renameVarsAlgebra.Ring.Polynomial.Monomorphic
Revlex 
1 (Type/Class)Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
2 (Data Constructor)Algebra.Ring.Polynomial, Algebra.Algorithms.Groebner.Monomorphic
revlexAlgebra.Ring.Polynomial
SAlgebra.Internal
sAndPlusOneAlgebra.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
scastMonomialAlgebra.Ring.Polynomial
scastPolynomialAlgebra.Ring.Polynomial
sDegreeAlgebra.Ring.Polynomial
shiftRAlgebra.Ring.Polynomial
showPolynomialAlgebra.Ring.Polynomial.Monomorphic
showPolynomialWithVarsAlgebra.Ring.Polynomial
signedAlgebra.Ring.Polynomial.Parser
signed'Algebra.Ring.Polynomial.Parser
simpleBuchbergerAlgebra.Algorithms.Groebner
SingAlgebra.Internal
singAlgebra.Internal
SingInstance 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
singInstanceAlgebra.Internal
singletonVAlgebra.Internal
sLengthVAlgebra.Internal
sMaxAlgebra.Internal
sMinAlgebra.Internal
SNatAlgebra.Internal
SOneAlgebra.Internal
sOneAlgebra.Internal
splitAtVAlgebra.Internal
sPolynomialAlgebra.Ring.Polynomial
SSAlgebra.Internal
sSAlgebra.Internal
SThreeAlgebra.Internal
sThreeAlgebra.Internal
STwoAlgebra.Internal
sTwoAlgebra.Internal
SuccLeqSuccAlgebra.Internal
symbolAlgebra.Ring.Polynomial.Parser
SZAlgebra.Internal
sZAlgebra.Internal
SZeroAlgebra.Internal
sZeroAlgebra.Internal
tailVAlgebra.Internal
takeVAlgebra.Internal
termAlgebra.Ring.Polynomial.Parser
thEliminationIdeal 
1 (Function)Algebra.Algorithms.Groebner
2 (Function)Algebra.Algorithms.Groebner.Monomorphic
ThreeAlgebra.Internal
toIdealAlgebra.Ring.Noetherian
toIntAlgebra.Internal
toListAlgebra.Internal
toPolynAlgebra.Ring.Polynomial.Parser
toPolynomialAlgebra.Ring.Polynomial
toPolynomialSettingAlgebra.Ring.Polynomial.Monomorphic
toProxyAlgebra.Internal
transformMonomialAlgebra.Ring.Polynomial
tryDivAlgebra.Ring.Polynomial
TwoAlgebra.Internal
uniformlyPromoteAlgebra.Ring.Polynomial.Monomorphic
uniformlyPromoteWithDimAlgebra.Ring.Polynomial.Monomorphic
unPolynomialAlgebra.Ring.Polynomial.Monomorphic
varAlgebra.Ring.Polynomial
Variable 
1 (Type/Class)Algebra.Ring.Polynomial.Monomorphic
2 (Data Constructor)Algebra.Ring.Polynomial.Monomorphic
variableAlgebra.Ring.Polynomial.Parser
variableWithPowerAlgebra.Ring.Polynomial.Parser
varIndexAlgebra.Ring.Polynomial.Monomorphic
varNameAlgebra.Ring.Polynomial.Monomorphic
varXAlgebra.Ring.Polynomial
VectorAlgebra.Internal
viaPolyAlgebra.Internal
withPolymorhicAlgebra.Internal
ZAlgebra.Internal
zAbsorbsMinLAlgebra.Internal
zAbsorbsMinRAlgebra.Internal
ZeroAlgebra.Internal
ZeroLeqAlgebra.Internal
zipWithVAlgebra.Internal