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

Index - S

SAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sAbsAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sameNatAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sameSymbolAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sArityAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
sArity'Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
saturationByPrincipalIdealAlgebra.Algorithms.Groebner
saturationIdealAlgebra.Algorithms.Groebner
Scalar 
1 (Type/Class)Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude
2 (Data Constructor)Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude
scaleColAlgebra.LinkedMatrix
scaleFloatAlgebra.Prelude.Core, Algebra.Prelude
scaleRow 
1 (Function)Algebra.LinkedMatrix
2 (Function)Algebra.Matrix
scanlAlgebra.Prelude.Core, Algebra.Prelude
scanl'Algebra.Prelude.Core, Algebra.Prelude
scanl1Algebra.Prelude.Core, Algebra.Prelude
scanrAlgebra.Prelude.Core, Algebra.Prelude
scanr1Algebra.Prelude.Core, Algebra.Prelude
scastMonomialAlgebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
scastPolynomialAlgebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude
sCompareAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
secondAlgebra.Prelude.Core, Algebra.Prelude
SelectionStrategyAlgebra.Algorithms.Groebner
SemiringAlgebra.Prelude.Core, Algebra.Prelude
SEnumAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sEnumFromThenToAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sEnumFromToAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SeqAlgebra.Prelude.Core, Algebra.Prelude
seqAlgebra.Prelude.Core, Algebra.Prelude
sequenceAlgebra.Prelude.Core, Algebra.Prelude
sequenceAAlgebra.Prelude.Core, Algebra.Prelude
sequence_Algebra.Prelude.Core, Algebra.Prelude
SetAlgebra.Prelude.Core, Algebra.Prelude
SFalseAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sFlipOrderingAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sFromEnumAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sFromIntegerAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
shiftRAlgebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude
ShowAlgebra.Prelude.Core, Algebra.Prelude
showAlgebra.Prelude.Core, Algebra.Prelude
showCharAlgebra.Prelude.Core, Algebra.Prelude
showListAlgebra.Prelude.Core, Algebra.Prelude
showParenAlgebra.Prelude.Core, Algebra.Prelude
showPolynomialWithAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
ShowSAlgebra.Prelude.Core, Algebra.Prelude
showsAlgebra.Prelude.Core, Algebra.Prelude
ShowSCoeffAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
showsCoeffAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
showsCoeffAsTermAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
showsCoeffWithOpAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
showsPolynomialWithAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
showsPrecAlgebra.Prelude.Core, Algebra.Prelude
showStringAlgebra.Prelude.Core, Algebra.Prelude
ShowTypeAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
significandAlgebra.Prelude.Core, Algebra.Prelude
SignumAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
signumAlgebra.Prelude.Core, Algebra.Prelude
simpleBuchbergerAlgebra.Algorithms.Groebner
sinAlgebra.Prelude.Core, Algebra.Prelude
sIndexAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SingAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
singAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SingIAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SingKindAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
singletonAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sinhAlgebra.Prelude.Core, Algebra.Prelude
sinnumAlgebra.Prelude.Core, Algebra.Prelude
sinnum1pAlgebra.Prelude.Core, Algebra.Prelude
sinnum1pIdempotentAlgebra.Prelude.Core, Algebra.Prelude
sinnum1pRepAlgebra.Prelude.Core, Algebra.Prelude
sinnumIdempotentAlgebra.Prelude.Core, Algebra.Prelude
sinnumRepAlgebra.Prelude.Core, Algebra.Prelude
SizedAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
Sized'Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sizedLengthAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sLeqCongAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sLeqCongLAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sLeqCongRAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sMaxAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sMinAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SNatAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sNatToIntAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sndAlgebra.Prelude.Core, Algebra.Prelude
sNegateAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SNumAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
solve'Algebra.Algorithms.ZeroDim
solveHenselAlgebra.LinkedMatrix
solveLinearAlgebra.Algorithms.ZeroDim
solveMAlgebra.Algorithms.ZeroDim
solveViaCompanionAlgebra.Algorithms.ZeroDim
solveWiedemannAlgebra.LinkedMatrix
solveWithAlgebra.Algorithms.ZeroDim
SomeExceptionAlgebra.Prelude.Core, Algebra.Prelude
SomeNat 
1 (Data Constructor)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
2 (Type/Class)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
someNatValAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SomeSing 
1 (Data Constructor)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
2 (Type/Class)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SomeSymbol 
1 (Data Constructor)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
2 (Type/Class)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
someSymbolValAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sOneAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sOnesAlgebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
SOrdAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sortAlgebra.Prelude.Core, Algebra.Prelude
sortByAlgebra.Prelude.Core, Algebra.Prelude
sortOnAlgebra.Prelude.Core, Algebra.Prelude
spanAlgebra.Prelude.Core, Algebra.Prelude
splitAtAlgebra.Prelude.Core, Algebra.Prelude
splitIndependentDirsAlgebra.LinkedMatrix
splitUnitAlgebra.Prelude.Core, Algebra.Prelude
splitUnitDefaultAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
sPolynomialAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
sPredAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sPred'Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sqFreePartAlgebra.Field.AlgebraicReal
sqrtAlgebra.Prelude.Core, Algebra.Prelude
squareFreeDecompAlgebra.Ring.Polynomial.Factorise
squareFreePartAlgebra.Ring.Polynomial.Factorise
sSignumAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sSuccAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
standardMonomialsAlgebra.Ring.Polynomial.Quotient
standardMonomials'Algebra.Ring.Polynomial.Quotient
startAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
sToEnumAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
StorableAlgebra.Prelude.Core, Algebra.Prelude
StringAlgebra.Prelude.Core, Algebra.Prelude
stripPrefixAlgebra.Prelude.Core, Algebra.Prelude
structuredGaussAlgebra.LinkedMatrix
structuredGauss'Algebra.LinkedMatrix
STrueAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
strumAlgebra.Field.AlgebraicReal
subsequencesAlgebra.Prelude.Core, Algebra.Prelude
subspMatrixAlgebra.Algorithms.ZeroDim
substAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
substCoeffAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
substMatrixAlgebra.LinkedMatrix
substUnivariateAlgebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude
substVarAlgebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude
substWithAlgebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude
subtractAlgebra.Prelude.Core, Algebra.Prelude
subtractRepAlgebra.Prelude.Core, Algebra.Prelude
Succ 
1 (Type/Class)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
2 (Data Constructor)Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succAlgebra.Prelude.Core, Algebra.Prelude
succAndPlusOneLAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succAndPlusOneRAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succCongAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succInjAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succInj'Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succLeqAbsurdAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succLeqAbsurd'Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succLeqToLTAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succLeqZeroAbsurdAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succLeqZeroAbsurd'Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succLneqSuccAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succNonCyclicAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succOneCongAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
succPredAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
SugarStrategy 
1 (Type/Class)Algebra.Algorithms.Groebner
2 (Data Constructor)Algebra.Algorithms.Groebner
sumAlgebra.Prelude.Core, Algebra.Prelude
sum1Algebra.Prelude.Core, Algebra.Prelude
sumWithAlgebra.Prelude.Core, Algebra.Prelude
sumWith1Algebra.Prelude.Core, Algebra.Prelude
SVectorAlgebra.Prelude.Core, Algebra.Prelude
swapAlgebra.Prelude.Core, Algebra.Prelude
swapColsAlgebra.LinkedMatrix
swapRowsAlgebra.LinkedMatrix
switchColsAlgebra.LinkedMatrix
switchRows 
1 (Function)Algebra.LinkedMatrix
2 (Function)Algebra.Matrix
SymbolAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
symbolValAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
symbolVal'Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude
syzygyBuchbergerAlgebra.Algorithms.Groebner
syzygyBuchbergerWithStrategyAlgebra.Algorithms.Groebner
sZeroAlgebra.Internal, Algebra.Prelude.Core, Algebra.Prelude