halg-core-0.6.0.0: Core types and functions of halg computational algebra suite.

Index

!*Algebra.Ring.Polynomial.Class
%*Algebra.Internal
%+Algebra.Internal
%-Algebra.Internal
%-.Algebra.Internal
%<=?Algebra.Internal
%<?Algebra.Internal
%>=?Algebra.Internal
%>?Algebra.Internal
%^Algebra.Internal
*Algebra.Internal
*<Algebra.Ring.Polynomial.Class
*|<Algebra.Ring.Polynomial.Class
+Algebra.Internal
-Algebra.Internal
-.Algebra.Internal
.*.Algebra.Scalar
:<Algebra.Internal
:>Algebra.Internal
:~:Algebra.Internal
<Algebra.Internal
<=Algebra.Internal
<=?Algebra.Internal
<?Algebra.Internal
=== 
1 (Type/Class)Algebra.Internal
2 (Function)Algebra.Internal
=~=Algebra.Internal
>Algebra.Internal
>*Algebra.Ring.Polynomial.Class
>=Algebra.Internal
>=?Algebra.Internal
>?Algebra.Internal
>|*Algebra.Ring.Polynomial.Class
@+Algebra.Internal
absurdOrdAlgebra.Internal
addToIdealAlgebra.Ring.Ideal
appendIdealAlgebra.Ring.Ideal
ArityAlgebra.Ring.Polynomial.Class
arityAlgebra.Ring.Polynomial.Class
asProxyTypeOfAlgebra.Internal
becauseAlgebra.Internal
castMonomialAlgebra.Ring.Polynomial.Monomial
changeMonomialOrderAlgebra.Ring.Polynomial.Monomial
changeMonomialOrderProxyAlgebra.Ring.Polynomial.Monomial
cmpAnyMonomialAlgebra.Ring.Polynomial.Monomial
cmpMonomialAlgebra.Ring.Polynomial.Monomial
CmpNatAlgebra.Internal
coeffAlgebra.Ring.Polynomial.Class
coeff'Algebra.Ring.Polynomial.Class
CoefficientAlgebra.Ring.Polynomial.Class
CoeffRingAlgebra.Ring.Polynomial.Class
coerceAlgebra.Internal
coerceLengthAlgebra.Internal
constantTermAlgebra.Ring.Polynomial.Class
contentAlgebra.Ring.Polynomial.Class
convertPolynomialAlgebra.Ring.Polynomial.Class
convertPolynomial'Algebra.Ring.Polynomial.Class
DemoteAlgebra.Internal, Algebra.Internal
diffAlgebra.Ring.Polynomial.Class
DivAlgebra.Internal
divModPolynomialAlgebra.Ring.Polynomial.Class
divPolynomialAlgebra.Ring.Polynomial.Class
divsAlgebra.Ring.Polynomial.Monomial
elementsAlgebra.Field.Finite, Algebra.Field.Prime
EliminationOrderAlgebra.Ring.Polynomial.Monomial
eliminationOrderAlgebra.Ring.Polynomial.Monomial
EliminationTypeAlgebra.Ring.Polynomial.Monomial
enumOrdinalAlgebra.Internal
EqualAlgebra.Internal
EqualityAlgebra.Internal
FAlgebra.Field.Prime
fermatTestAlgebra.Arithmetic
filterIdealAlgebra.Ring.Ideal
FiniteFieldAlgebra.Field.Finite, Algebra.Field.Prime
FlipOrderingAlgebra.Internal
Flipped 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
fromListAlgebra.Ring.Polynomial.Monomial
fromMonomialAlgebra.Ring.Polynomial.Class
fromOrderedMonomialAlgebra.Ring.Polynomial.Class
fromSingAlgebra.Internal
gcdMonomialAlgebra.Ring.Polynomial.Monomial
generateAlgebra.Internal
generatorsAlgebra.Ring.Ideal
getMonomialAlgebra.Ring.Polynomial.Monomial
Graded 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
gradedAlgebra.Ring.Polynomial.Monomial
Grevlex 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
grevlexAlgebra.Ring.Polynomial.Monomial
Grlex 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
grlexAlgebra.Ring.Polynomial.Monomial
Ideal 
1 (Type/Class)Algebra.Ring.Ideal
2 (Data Constructor)Algebra.Ring.Ideal
ifoldMapMonomAlgebra.Ring.Polynomial.Monomial
inclusionAlgebra.Internal
inclusion'Algebra.Internal
inductionAlgebra.Internal
injectCoeffAlgebra.Ring.Polynomial.Class
injectCoeff'Algebra.Ring.Polynomial.Class
injectVarsAlgebra.Ring.Polynomial.Class
injectVarsAtEndAlgebra.Ring.Polynomial.Class
injectVarsOffsetAlgebra.Ring.Polynomial.Class
isAssociateDefaultAlgebra.Ring.Polynomial.Class
isEmptyIdealAlgebra.Ring.Ideal
IsMonomialOrderAlgebra.Ring.Polynomial.Monomial
IsOrderAlgebra.Ring.Polynomial.Monomial
IsOrderedPolynomialAlgebra.Ring.Polynomial.Class
IsPolynomialAlgebra.Ring.Polynomial.Class
isPowerOfAlgebra.Ring.Polynomial.Monomial
isPseudoPrimeAlgebra.Arithmetic
isRelativelyPrimeAlgebra.Ring.Polynomial.Monomial
IsStrongMonomialOrderAlgebra.Ring.Polynomial.Monomial
IsSuccAlgebra.Internal
IsTrueAlgebra.Internal
isUnitDefaultAlgebra.Ring.Polynomial.Class
IsZeroAlgebra.Internal
KnownNatAlgebra.Internal
KProxy 
1 (Data Constructor)Algebra.Internal
2 (Type/Class)Algebra.Internal
lcmMonomialAlgebra.Ring.Polynomial.Monomial
leadingCoeffAlgebra.Ring.Polynomial.Class
leadingMonomialAlgebra.Ring.Polynomial.Class
leadingTermAlgebra.Ring.Polynomial.Class
Lex 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
lexAlgebra.Ring.Polynomial.Monomial
liftMapAlgebra.Ring.Polynomial.Class
liftMapCoeffAlgebra.Ring.Polynomial.Class
liftNormAlgebra.Normed
Log2Algebra.Internal
mapCoeff'Algebra.Ring.Polynomial.Class
mapIdealAlgebra.Ring.Ideal
mapMonomialAlgebra.Ring.Polynomial.Class
mapMonomialMonotonicAlgebra.Ring.Polynomial.Class
mapPolynomialAlgebra.Ring.Polynomial.Class
MaxAlgebra.Internal
maxNormAlgebra.Ring.Polynomial.Class
MinAlgebra.Internal
ModAlgebra.Internal
modNatAlgebra.Field.Prime
modNat'Algebra.Field.Prime
modPolynomialAlgebra.Ring.Polynomial.Class
modPowAlgebra.Arithmetic
modRatAlgebra.Field.Prime
modRat'Algebra.Field.Prime
monoizeAlgebra.Ring.Polynomial.Class
MonomialAlgebra.Ring.Polynomial.Monomial
MonomialOrderAlgebra.Ring.Polynomial.Monomial
monomialsAlgebra.Ring.Polynomial.Class
MOrderAlgebra.Ring.Polynomial.Class
NatAlgebra.Internal
naturalReprAlgebra.Field.Prime
naturalToOrdAlgebra.Internal
naturalToOrd'Algebra.Internal
natValAlgebra.Internal
natVal'Algebra.Internal
NegativeAlgebra.Ring.Polynomial.Class
NilAlgebra.Internal
NonEqualAlgebra.Internal
NormAlgebra.Normed
normAlgebra.Normed
NormedAlgebra.Normed
odAlgebra.Internal
OLtAlgebra.Internal
OMonomAlgebra.Ring.Polynomial.Class
OneAlgebra.Internal
OneCoeffAlgebra.Ring.Polynomial.Class
oneNormAlgebra.Ring.Polynomial.Class
orderAlgebra.Field.Finite, Algebra.Field.Prime
OrderedMonomial 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
orderedMonomialsAlgebra.Ring.Polynomial.Class
orderMonomialAlgebra.Ring.Polynomial.Monomial
OrdinalAlgebra.Internal
ordToNaturalAlgebra.Internal
ordToSNatAlgebra.Internal
OSAlgebra.Internal
OZAlgebra.Internal
padVecsAlgebra.Internal
pDivModPolyAlgebra.Ring.Polynomial.Class
polynomialAlgebra.Ring.Polynomial.Class
polynomial'Algebra.Ring.Polynomial.Class
PositiveAlgebra.Ring.Polynomial.Class
powerAlgebra.Field.Finite, Algebra.Field.Prime
ppAlgebra.Ring.Polynomial.Class
PredAlgebra.Internal
PrettyCoeffAlgebra.Ring.Polynomial.Class
principalIdealAlgebra.Ring.Ideal
ProductOrder 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
productOrderAlgebra.Ring.Polynomial.Monomial
productOrder'Algebra.Ring.Polynomial.Monomial
Proxy 
1 (Data Constructor)Algebra.Internal
2 (Type/Class)Algebra.Internal
QuotientAlgebra.Ring.Euclidean.Quotient
quotientAlgebra.Ring.Euclidean.Quotient
quotientByAlgebra.Ring.Euclidean.Quotient
reallyUnsafeNaturalToOrdAlgebra.Internal
recipUnitDefaultAlgebra.Ring.Polynomial.Class
ReflAlgebra.Internal
reifyIdealQuotientAlgebra.Ring.Euclidean.Quotient
reifyPrimeFieldAlgebra.Field.Prime
reifyQuotientAlgebra.Ring.Euclidean.Quotient
repeatedSquareAlgebra.Arithmetic
representativeAlgebra.Ring.Euclidean.Quotient
Revlex 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
revlexAlgebra.Ring.Polynomial.Monomial
runScalarAlgebra.Scalar
runViaElementsAlgebra.Field.Finite
SAlgebra.Internal
sArityAlgebra.Ring.Polynomial.Class
sArity'Algebra.Ring.Polynomial.Class
SBoolAlgebra.Internal
Scalar 
1 (Type/Class)Algebra.Scalar
2 (Data Constructor)Algebra.Scalar
scastMonomialAlgebra.Ring.Polynomial.Monomial
sCmpNatAlgebra.Internal
sCompareAlgebra.Internal
sDivAlgebra.Internal
SEQAlgebra.Internal
SFalseAlgebra.Internal
sFlipOrderingAlgebra.Internal
SGTAlgebra.Internal
showPolynomialWithAlgebra.Ring.Polynomial.Class
showPolynomialWith'Algebra.Ring.Polynomial.Class
ShowSCoeffAlgebra.Ring.Polynomial.Class
showsCoeffAlgebra.Ring.Polynomial.Class
showsCoeffAsTermAlgebra.Ring.Polynomial.Class
showsCoeffWithOpAlgebra.Ring.Polynomial.Class
showsPolynomialWithAlgebra.Ring.Polynomial.Class
showsPolynomialWith'Algebra.Ring.Polynomial.Class
sIndexAlgebra.Internal
SingAlgebra.Internal
singAlgebra.Internal
SingIAlgebra.Internal
SingKindAlgebra.Internal
singletonAlgebra.Internal
singToSNatAlgebra.Internal
SizedAlgebra.Internal
Sized'Algebra.Internal
sizedLengthAlgebra.Internal
sLog2Algebra.Internal
SLTAlgebra.Internal
sMaxAlgebra.Internal
sMinAlgebra.Internal
sModAlgebra.Internal
SNatAlgebra.Internal
sNatAlgebra.Internal
snatAlgebra.Internal
sNatPAlgebra.Internal
sNatToIntAlgebra.Internal
sNatToOrdAlgebra.Internal
sNatToOrd'Algebra.Internal
sNatToSingletonAlgebra.Internal
SomeNat 
1 (Data Constructor)Algebra.Internal
2 (Type/Class)Algebra.Internal
someNatValAlgebra.Internal
SomeSing 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
someSizedIdealAlgebra.Ring.Ideal
SomeSNat 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
sOneAlgebra.Internal
sOnesAlgebra.Ring.Polynomial.Monomial
SOrderingAlgebra.Internal
splitLeadingTermAlgebra.Ring.Polynomial.Class
splitUnitDefaultAlgebra.Ring.Polynomial.Class
sPolynomialAlgebra.Ring.Polynomial.Class
sPredAlgebra.Internal
sSAlgebra.Internal
sSuccAlgebra.Internal
startAlgebra.Internal
STrueAlgebra.Internal
substAlgebra.Ring.Polynomial.Class
substCoeffAlgebra.Ring.Polynomial.Class
substWithAlgebra.Ring.Polynomial.Class
Succ 
1 (Type/Class)Algebra.Internal
2 (Data Constructor)Algebra.Internal
sZeroAlgebra.Internal
TermAlgebra.Ring.Polynomial.Class
termsAlgebra.Ring.Polynomial.Class
terms'Algebra.Ring.Polynomial.Class
toIdealAlgebra.Ring.Ideal
toNaturalAlgebra.Internal
toPolynomialAlgebra.Ring.Polynomial.Class
toPolynomial'Algebra.Ring.Polynomial.Class
toProxyAlgebra.Internal
toSingAlgebra.Internal
toSomeSNatAlgebra.Internal
totalDegreeAlgebra.Ring.Polynomial.Monomial
totalDegree'Algebra.Ring.Polynomial.Class
tryDivAlgebra.Ring.Polynomial.Monomial
unsafeFromListAlgebra.Internal
unsafeFromList'Algebra.Internal
unsafeNaturalToOrdAlgebra.Internal
unsafeNaturalToOrd'Algebra.Internal
USizedAlgebra.Internal
vacuousOrdAlgebra.Internal
VanishedAlgebra.Ring.Polynomial.Class
varAlgebra.Ring.Polynomial.Class
varMonomAlgebra.Ring.Polynomial.Monomial
varsAlgebra.Ring.Polynomial.Class
ViaElements 
1 (Type/Class)Algebra.Field.Finite
2 (Data Constructor)Algebra.Field.Finite
viewNatAlgebra.Internal
WeightedEliminationOrderAlgebra.Ring.Polynomial.Monomial
weightedEliminationOrderAlgebra.Ring.Polynomial.Monomial
WeightOrder 
1 (Type/Class)Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)Algebra.Ring.Polynomial.Monomial
weightOrderAlgebra.Ring.Polynomial.Monomial
WeightProxyAlgebra.Ring.Polynomial.Monomial
withIdealQuotientAlgebra.Ring.Euclidean.Quotient
withKnownNatAlgebra.Internal
withPrimeFieldAlgebra.Field.Prime
withQuotientAlgebra.Ring.Euclidean.Quotient
withReflAlgebra.Internal
withSingIAlgebra.Internal
withSNatAlgebra.Internal
withStrongMonomialOrderAlgebra.Ring.Polynomial.Monomial
withWitnessAlgebra.Internal
WitnessAlgebra.Internal
Zero 
1 (Data Constructor)Algebra.Internal
2 (Type/Class)Algebra.Internal
ZeroOrSuccAlgebra.Internal
zeroOrSuccAlgebra.Internal
zipWithSameAlgebra.Internal
^Algebra.Internal
_TermsAlgebra.Ring.Polynomial.Class
_Terms'Algebra.Ring.Polynomial.Class