Index - S
| S | |
| 1 (Type/Class) | TypeLevelNat |
| 2 (Data Constructor) | IdealExtension |
| sample | Testing |
| sample' | Testing |
| SE | SimpleExtension |
| shrink | Testing |
| Shrink2 | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| Shrinking | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| shrinking | Testing |
| shrinkInit | Testing |
| shrinkIntegral | Testing |
| shrinkNothing | Testing |
| shrinkRealFrac | Testing |
| ShrinkState | Testing |
| shrinkState | Testing |
| signChanges | RootFinding |
| signChanges' | RootFinding |
| signum' | Complex |
| simpleNonconstantRationalPoly | Polynomial |
| simpleNonzeroRational | Testing |
| simpleRational | Testing |
| simplifyAlg | Factoring |
| sized | Testing |
| Smart | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| SqMatrix | Matrix |
| sqrt2 | |
| 1 (Function) | Complex |
| 2 (Function) | IntegralClosure |
| 3 (Function) | Algebraic |
| sqrt2Seq | NumericHelper |
| squarefreePart | Polynomial |
| squareRoot | NumericHelper |
| squareRootBounds | NumericHelper |
| stdArgs | Testing |
| Str | Testing |
| sturmChain | RootFinding |
| subdivisions | RootFinding |
| Success | Testing |
| suchThat | Testing |
| suchThatMaybe | Testing |
| sum | Ring |
| sumAnnihilator | IntegralClosure |