halg-core-0.6.0.0: Core types and functions of halg computational algebra suite.
Contents
Index
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
absurdOrd
Algebra.Internal
addToIdeal
Algebra.Ring.Ideal
appendIdeal
Algebra.Ring.Ideal
Arity
Algebra.Ring.Polynomial.Class
arity
Algebra.Ring.Polynomial.Class
asProxyTypeOf
Algebra.Internal
because
Algebra.Internal
castMonomial
Algebra.Ring.Polynomial.Monomial
changeMonomialOrder
Algebra.Ring.Polynomial.Monomial
changeMonomialOrderProxy
Algebra.Ring.Polynomial.Monomial
cmpAnyMonomial
Algebra.Ring.Polynomial.Monomial
cmpMonomial
Algebra.Ring.Polynomial.Monomial
CmpNat
Algebra.Internal
coeff
Algebra.Ring.Polynomial.Class
coeff'
Algebra.Ring.Polynomial.Class
Coefficient
Algebra.Ring.Polynomial.Class
CoeffRing
Algebra.Ring.Polynomial.Class
coerce
Algebra.Internal
coerceLength
Algebra.Internal
constantTerm
Algebra.Ring.Polynomial.Class
content
Algebra.Ring.Polynomial.Class
convertPolynomial
Algebra.Ring.Polynomial.Class
convertPolynomial'
Algebra.Ring.Polynomial.Class
Demote
Algebra.Internal
,
Algebra.Internal
diff
Algebra.Ring.Polynomial.Class
Div
Algebra.Internal
divModPolynomial
Algebra.Ring.Polynomial.Class
divPolynomial
Algebra.Ring.Polynomial.Class
divs
Algebra.Ring.Polynomial.Monomial
elements
Algebra.Field.Finite
,
Algebra.Field.Prime
EliminationOrder
Algebra.Ring.Polynomial.Monomial
eliminationOrder
Algebra.Ring.Polynomial.Monomial
EliminationType
Algebra.Ring.Polynomial.Monomial
enumOrdinal
Algebra.Internal
Equal
Algebra.Internal
Equality
Algebra.Internal
F
Algebra.Field.Prime
fermatTest
Algebra.Arithmetic
filterIdeal
Algebra.Ring.Ideal
FiniteField
Algebra.Field.Finite
,
Algebra.Field.Prime
FlipOrdering
Algebra.Internal
Flipped
1 (Type/Class)
Algebra.Internal
2 (Data Constructor)
Algebra.Internal
fromList
Algebra.Ring.Polynomial.Monomial
fromMonomial
Algebra.Ring.Polynomial.Class
fromOrderedMonomial
Algebra.Ring.Polynomial.Class
fromSing
Algebra.Internal
gcdMonomial
Algebra.Ring.Polynomial.Monomial
generate
Algebra.Internal
generators
Algebra.Ring.Ideal
getMonomial
Algebra.Ring.Polynomial.Monomial
Graded
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
graded
Algebra.Ring.Polynomial.Monomial
Grevlex
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
grevlex
Algebra.Ring.Polynomial.Monomial
Grlex
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
grlex
Algebra.Ring.Polynomial.Monomial
Ideal
1 (Type/Class)
Algebra.Ring.Ideal
2 (Data Constructor)
Algebra.Ring.Ideal
ifoldMapMonom
Algebra.Ring.Polynomial.Monomial
inclusion
Algebra.Internal
inclusion'
Algebra.Internal
induction
Algebra.Internal
injectCoeff
Algebra.Ring.Polynomial.Class
injectCoeff'
Algebra.Ring.Polynomial.Class
injectVars
Algebra.Ring.Polynomial.Class
injectVarsAtEnd
Algebra.Ring.Polynomial.Class
injectVarsOffset
Algebra.Ring.Polynomial.Class
isAssociateDefault
Algebra.Ring.Polynomial.Class
isEmptyIdeal
Algebra.Ring.Ideal
IsMonomialOrder
Algebra.Ring.Polynomial.Monomial
IsOrder
Algebra.Ring.Polynomial.Monomial
IsOrderedPolynomial
Algebra.Ring.Polynomial.Class
IsPolynomial
Algebra.Ring.Polynomial.Class
isPowerOf
Algebra.Ring.Polynomial.Monomial
isPseudoPrime
Algebra.Arithmetic
isRelativelyPrime
Algebra.Ring.Polynomial.Monomial
IsStrongMonomialOrder
Algebra.Ring.Polynomial.Monomial
IsSucc
Algebra.Internal
IsTrue
Algebra.Internal
isUnitDefault
Algebra.Ring.Polynomial.Class
IsZero
Algebra.Internal
KnownNat
Algebra.Internal
KProxy
1 (Data Constructor)
Algebra.Internal
2 (Type/Class)
Algebra.Internal
lcmMonomial
Algebra.Ring.Polynomial.Monomial
leadingCoeff
Algebra.Ring.Polynomial.Class
leadingMonomial
Algebra.Ring.Polynomial.Class
leadingTerm
Algebra.Ring.Polynomial.Class
Lex
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
lex
Algebra.Ring.Polynomial.Monomial
liftMap
Algebra.Ring.Polynomial.Class
liftMapCoeff
Algebra.Ring.Polynomial.Class
liftNorm
Algebra.Normed
Log2
Algebra.Internal
mapCoeff'
Algebra.Ring.Polynomial.Class
mapIdeal
Algebra.Ring.Ideal
mapMonomial
Algebra.Ring.Polynomial.Class
mapMonomialMonotonic
Algebra.Ring.Polynomial.Class
mapPolynomial
Algebra.Ring.Polynomial.Class
Max
Algebra.Internal
maxNorm
Algebra.Ring.Polynomial.Class
Min
Algebra.Internal
Mod
Algebra.Internal
modNat
Algebra.Field.Prime
modNat'
Algebra.Field.Prime
modPolynomial
Algebra.Ring.Polynomial.Class
modPow
Algebra.Arithmetic
modRat
Algebra.Field.Prime
modRat'
Algebra.Field.Prime
monoize
Algebra.Ring.Polynomial.Class
Monomial
Algebra.Ring.Polynomial.Monomial
MonomialOrder
Algebra.Ring.Polynomial.Monomial
monomials
Algebra.Ring.Polynomial.Class
MOrder
Algebra.Ring.Polynomial.Class
Nat
Algebra.Internal
naturalRepr
Algebra.Field.Prime
naturalToOrd
Algebra.Internal
naturalToOrd'
Algebra.Internal
natVal
Algebra.Internal
natVal'
Algebra.Internal
Negative
Algebra.Ring.Polynomial.Class
Nil
Algebra.Internal
NonEqual
Algebra.Internal
Norm
Algebra.Normed
norm
Algebra.Normed
Normed
Algebra.Normed
od
Algebra.Internal
OLt
Algebra.Internal
OMonom
Algebra.Ring.Polynomial.Class
One
Algebra.Internal
OneCoeff
Algebra.Ring.Polynomial.Class
oneNorm
Algebra.Ring.Polynomial.Class
order
Algebra.Field.Finite
,
Algebra.Field.Prime
OrderedMonomial
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
orderedMonomials
Algebra.Ring.Polynomial.Class
orderMonomial
Algebra.Ring.Polynomial.Monomial
Ordinal
Algebra.Internal
ordToNatural
Algebra.Internal
ordToSNat
Algebra.Internal
OS
Algebra.Internal
OZ
Algebra.Internal
padVecs
Algebra.Internal
pDivModPoly
Algebra.Ring.Polynomial.Class
polynomial
Algebra.Ring.Polynomial.Class
polynomial'
Algebra.Ring.Polynomial.Class
Positive
Algebra.Ring.Polynomial.Class
power
Algebra.Field.Finite
,
Algebra.Field.Prime
pp
Algebra.Ring.Polynomial.Class
Pred
Algebra.Internal
PrettyCoeff
Algebra.Ring.Polynomial.Class
principalIdeal
Algebra.Ring.Ideal
ProductOrder
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
productOrder
Algebra.Ring.Polynomial.Monomial
productOrder'
Algebra.Ring.Polynomial.Monomial
Proxy
1 (Data Constructor)
Algebra.Internal
2 (Type/Class)
Algebra.Internal
Quotient
Algebra.Ring.Euclidean.Quotient
quotient
Algebra.Ring.Euclidean.Quotient
quotientBy
Algebra.Ring.Euclidean.Quotient
reallyUnsafeNaturalToOrd
Algebra.Internal
recipUnitDefault
Algebra.Ring.Polynomial.Class
Refl
Algebra.Internal
reifyIdealQuotient
Algebra.Ring.Euclidean.Quotient
reifyPrimeField
Algebra.Field.Prime
reifyQuotient
Algebra.Ring.Euclidean.Quotient
repeatedSquare
Algebra.Arithmetic
representative
Algebra.Ring.Euclidean.Quotient
Revlex
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
revlex
Algebra.Ring.Polynomial.Monomial
runScalar
Algebra.Scalar
runViaElements
Algebra.Field.Finite
S
Algebra.Internal
sArity
Algebra.Ring.Polynomial.Class
sArity'
Algebra.Ring.Polynomial.Class
SBool
Algebra.Internal
Scalar
1 (Type/Class)
Algebra.Scalar
2 (Data Constructor)
Algebra.Scalar
scastMonomial
Algebra.Ring.Polynomial.Monomial
sCmpNat
Algebra.Internal
sCompare
Algebra.Internal
sDiv
Algebra.Internal
SEQ
Algebra.Internal
SFalse
Algebra.Internal
sFlipOrdering
Algebra.Internal
SGT
Algebra.Internal
showPolynomialWith
Algebra.Ring.Polynomial.Class
showPolynomialWith'
Algebra.Ring.Polynomial.Class
ShowSCoeff
Algebra.Ring.Polynomial.Class
showsCoeff
Algebra.Ring.Polynomial.Class
showsCoeffAsTerm
Algebra.Ring.Polynomial.Class
showsCoeffWithOp
Algebra.Ring.Polynomial.Class
showsPolynomialWith
Algebra.Ring.Polynomial.Class
showsPolynomialWith'
Algebra.Ring.Polynomial.Class
sIndex
Algebra.Internal
Sing
Algebra.Internal
sing
Algebra.Internal
SingI
Algebra.Internal
SingKind
Algebra.Internal
singleton
Algebra.Internal
singToSNat
Algebra.Internal
Sized
Algebra.Internal
Sized'
Algebra.Internal
sizedLength
Algebra.Internal
sLog2
Algebra.Internal
SLT
Algebra.Internal
sMax
Algebra.Internal
sMin
Algebra.Internal
sMod
Algebra.Internal
SNat
Algebra.Internal
sNat
Algebra.Internal
snat
Algebra.Internal
sNatP
Algebra.Internal
sNatToInt
Algebra.Internal
sNatToOrd
Algebra.Internal
sNatToOrd'
Algebra.Internal
sNatToSingleton
Algebra.Internal
SomeNat
1 (Data Constructor)
Algebra.Internal
2 (Type/Class)
Algebra.Internal
someNatVal
Algebra.Internal
SomeSing
1 (Type/Class)
Algebra.Internal
2 (Data Constructor)
Algebra.Internal
someSizedIdeal
Algebra.Ring.Ideal
SomeSNat
1 (Type/Class)
Algebra.Internal
2 (Data Constructor)
Algebra.Internal
sOne
Algebra.Internal
sOnes
Algebra.Ring.Polynomial.Monomial
SOrdering
Algebra.Internal
splitLeadingTerm
Algebra.Ring.Polynomial.Class
splitUnitDefault
Algebra.Ring.Polynomial.Class
sPolynomial
Algebra.Ring.Polynomial.Class
sPred
Algebra.Internal
sS
Algebra.Internal
sSucc
Algebra.Internal
start
Algebra.Internal
STrue
Algebra.Internal
subst
Algebra.Ring.Polynomial.Class
substCoeff
Algebra.Ring.Polynomial.Class
substWith
Algebra.Ring.Polynomial.Class
Succ
1 (Type/Class)
Algebra.Internal
2 (Data Constructor)
Algebra.Internal
sZero
Algebra.Internal
Term
Algebra.Ring.Polynomial.Class
terms
Algebra.Ring.Polynomial.Class
terms'
Algebra.Ring.Polynomial.Class
toIdeal
Algebra.Ring.Ideal
toNatural
Algebra.Internal
toPolynomial
Algebra.Ring.Polynomial.Class
toPolynomial'
Algebra.Ring.Polynomial.Class
toProxy
Algebra.Internal
toSing
Algebra.Internal
toSomeSNat
Algebra.Internal
totalDegree
Algebra.Ring.Polynomial.Monomial
totalDegree'
Algebra.Ring.Polynomial.Class
tryDiv
Algebra.Ring.Polynomial.Monomial
unsafeFromList
Algebra.Internal
unsafeFromList'
Algebra.Internal
unsafeNaturalToOrd
Algebra.Internal
unsafeNaturalToOrd'
Algebra.Internal
USized
Algebra.Internal
vacuousOrd
Algebra.Internal
Vanished
Algebra.Ring.Polynomial.Class
var
Algebra.Ring.Polynomial.Class
varMonom
Algebra.Ring.Polynomial.Monomial
vars
Algebra.Ring.Polynomial.Class
ViaElements
1 (Type/Class)
Algebra.Field.Finite
2 (Data Constructor)
Algebra.Field.Finite
viewNat
Algebra.Internal
WeightedEliminationOrder
Algebra.Ring.Polynomial.Monomial
weightedEliminationOrder
Algebra.Ring.Polynomial.Monomial
WeightOrder
1 (Type/Class)
Algebra.Ring.Polynomial.Monomial
2 (Data Constructor)
Algebra.Ring.Polynomial.Monomial
weightOrder
Algebra.Ring.Polynomial.Monomial
WeightProxy
Algebra.Ring.Polynomial.Monomial
withIdealQuotient
Algebra.Ring.Euclidean.Quotient
withKnownNat
Algebra.Internal
withPrimeField
Algebra.Field.Prime
withQuotient
Algebra.Ring.Euclidean.Quotient
withRefl
Algebra.Internal
withSingI
Algebra.Internal
withSNat
Algebra.Internal
withStrongMonomialOrder
Algebra.Ring.Polynomial.Monomial
withWitness
Algebra.Internal
Witness
Algebra.Internal
Zero
1 (Data Constructor)
Algebra.Internal
2 (Type/Class)
Algebra.Internal
ZeroOrSucc
Algebra.Internal
zeroOrSucc
Algebra.Internal
zipWithSame
Algebra.Internal
^
Algebra.Internal
_Terms
Algebra.Ring.Polynomial.Class
_Terms'
Algebra.Ring.Polynomial.Class