Index - S
| 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 |