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

Index - S

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