S | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sAbs | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sameNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sameSymbol | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sArity | Algebra.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 |
saturationByPrincipalIdeal | Algebra.Algorithms.Groebner |
saturationIdeal | Algebra.Algorithms.Groebner |
Scalar | |
1 (Type/Class) | Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude |
2 (Data Constructor) | Algebra.Scalar, Algebra.Prelude.Core, Algebra.Prelude |
scaleCol | Algebra.LinkedMatrix |
scaleFloat | Algebra.Prelude.Core, Algebra.Prelude |
scaleRow | |
1 (Function) | Algebra.LinkedMatrix |
2 (Function) | Algebra.Matrix |
scanl | Algebra.Prelude.Core, Algebra.Prelude |
scanl' | Algebra.Prelude.Core, Algebra.Prelude |
scanl1 | Algebra.Prelude.Core, Algebra.Prelude |
scanr | Algebra.Prelude.Core, Algebra.Prelude |
scanr1 | Algebra.Prelude.Core, Algebra.Prelude |
scastMonomial | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
scastPolynomial | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
sCompare | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
second | Algebra.Prelude.Core, Algebra.Prelude |
SelectionStrategy | Algebra.Algorithms.Groebner |
Semiring | Algebra.Prelude.Core, Algebra.Prelude |
SEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sEnumFromThenTo | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sEnumFromTo | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
Seq | Algebra.Prelude.Core, Algebra.Prelude |
seq | Algebra.Prelude.Core, Algebra.Prelude |
sequence | Algebra.Prelude.Core, Algebra.Prelude |
sequenceA | Algebra.Prelude.Core, Algebra.Prelude |
sequence_ | Algebra.Prelude.Core, Algebra.Prelude |
Set | Algebra.Prelude.Core, Algebra.Prelude |
SFalse | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sFlipOrdering | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sFromEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sFromInteger | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
shiftR | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
Show | Algebra.Prelude.Core, Algebra.Prelude |
show | Algebra.Prelude.Core, Algebra.Prelude |
showChar | Algebra.Prelude.Core, Algebra.Prelude |
showList | Algebra.Prelude.Core, Algebra.Prelude |
showParen | Algebra.Prelude.Core, Algebra.Prelude |
showPolynomialWith | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
ShowS | Algebra.Prelude.Core, Algebra.Prelude |
shows | Algebra.Prelude.Core, Algebra.Prelude |
ShowSCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
showsCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
showsCoeffAsTerm | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
showsCoeffWithOp | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
showsPolynomialWith | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
showsPrec | Algebra.Prelude.Core, Algebra.Prelude |
showString | Algebra.Prelude.Core, Algebra.Prelude |
ShowType | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
significand | Algebra.Prelude.Core, Algebra.Prelude |
Signum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
signum | Algebra.Prelude.Core, Algebra.Prelude |
simpleBuchberger | Algebra.Algorithms.Groebner |
sin | Algebra.Prelude.Core, Algebra.Prelude |
sIndex | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
Sing | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sing | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
SingI | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
SingKind | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
singleton | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sinh | Algebra.Prelude.Core, Algebra.Prelude |
sinnum | Algebra.Prelude.Core, Algebra.Prelude |
sinnum1p | Algebra.Prelude.Core, Algebra.Prelude |
sinnum1pIdempotent | Algebra.Prelude.Core, Algebra.Prelude |
sinnum1pRep | Algebra.Prelude.Core, Algebra.Prelude |
sinnumIdempotent | Algebra.Prelude.Core, Algebra.Prelude |
sinnumRep | Algebra.Prelude.Core, Algebra.Prelude |
Sized | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
Sized' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sizedLength | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sLeqCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sLeqCongL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sLeqCongR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sMax | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sMin | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
SNat | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sNatToInt | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
snd | Algebra.Prelude.Core, Algebra.Prelude |
sNegate | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
SNum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
solve' | Algebra.Algorithms.ZeroDim |
solveHensel | Algebra.LinkedMatrix |
solveLinear | Algebra.Algorithms.ZeroDim |
solveM | Algebra.Algorithms.ZeroDim |
solveViaCompanion | Algebra.Algorithms.ZeroDim |
solveWiedemann | Algebra.LinkedMatrix |
solveWith | Algebra.Algorithms.ZeroDim |
SomeException | Algebra.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 |
someNatVal | Algebra.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 |
someSymbolVal | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sOne | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sOnes | Algebra.Ring.Polynomial.Monomial, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
SOrd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sort | Algebra.Prelude.Core, Algebra.Prelude |
sortBy | Algebra.Prelude.Core, Algebra.Prelude |
sortOn | Algebra.Prelude.Core, Algebra.Prelude |
span | Algebra.Prelude.Core, Algebra.Prelude |
splitAt | Algebra.Prelude.Core, Algebra.Prelude |
splitIndependentDirs | Algebra.LinkedMatrix |
splitUnit | Algebra.Prelude.Core, Algebra.Prelude |
splitUnitDefault | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
sPolynomial | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
sPred | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sPred' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sqFreePart | Algebra.Field.AlgebraicReal |
sqrt | Algebra.Prelude.Core, Algebra.Prelude |
squareFreeDecomp | Algebra.Ring.Polynomial.Factorise |
squareFreePart | Algebra.Ring.Polynomial.Factorise |
sSignum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
standardMonomials | Algebra.Ring.Polynomial.Quotient |
standardMonomials' | Algebra.Ring.Polynomial.Quotient |
start | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
sToEnum | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
Storable | Algebra.Prelude.Core, Algebra.Prelude |
String | Algebra.Prelude.Core, Algebra.Prelude |
stripPrefix | Algebra.Prelude.Core, Algebra.Prelude |
structuredGauss | Algebra.LinkedMatrix |
structuredGauss' | Algebra.LinkedMatrix |
STrue | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
strum | Algebra.Field.AlgebraicReal |
subsequences | Algebra.Prelude.Core, Algebra.Prelude |
subspMatrix | Algebra.Algorithms.ZeroDim |
subst | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
substCoeff | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
substMatrix | Algebra.LinkedMatrix |
substUnivariate | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
substVar | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
substWith | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
subtract | Algebra.Prelude.Core, Algebra.Prelude |
subtractRep | Algebra.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 |
succ | Algebra.Prelude.Core, Algebra.Prelude |
succAndPlusOneL | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succAndPlusOneR | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succInj | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succInj' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succLeqAbsurd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succLeqAbsurd' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succLeqToLT | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succLeqZeroAbsurd | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succLeqZeroAbsurd' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succLneqSucc | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succNonCyclic | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succOneCong | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
succPred | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
SugarStrategy | |
1 (Type/Class) | Algebra.Algorithms.Groebner |
2 (Data Constructor) | Algebra.Algorithms.Groebner |
sum | Algebra.Prelude.Core, Algebra.Prelude |
sum1 | Algebra.Prelude.Core, Algebra.Prelude |
sumWith | Algebra.Prelude.Core, Algebra.Prelude |
sumWith1 | Algebra.Prelude.Core, Algebra.Prelude |
SVector | Algebra.Prelude.Core, Algebra.Prelude |
swap | Algebra.Prelude.Core, Algebra.Prelude |
swapCols | Algebra.LinkedMatrix |
swapRows | Algebra.LinkedMatrix |
switchCols | Algebra.LinkedMatrix |
switchRows | |
1 (Function) | Algebra.LinkedMatrix |
2 (Function) | Algebra.Matrix |
Symbol | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
symbolVal | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
symbolVal' | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |
syzygyBuchberger | Algebra.Algorithms.Groebner |
syzygyBuchbergerWithStrategy | Algebra.Algorithms.Groebner |
sZero | Algebra.Internal, Algebra.Prelude.Core, Algebra.Prelude |