halg-core-0.6.0.0: Core types and functions of halg computational algebra suite.
Contents
Index
A
B
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
!
%
*
+
.
<
=
>
@
^
-
_
All
Index - S
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