| S | |
| 1 (Data Constructor) | Math.Algebra.Group.StringRewriting |
| 2 (Data Constructor) | Math.Projects.KnotTheory.Braid |
| s | Math.Projects.ChevalleyGroup.Classical |
| s1 | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| s2 | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| 3 (Function) | Math.Projects.ChevalleyGroup.Classical |
| s3 | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| s4 | Math.Projects.KnotTheory.Braid |
| same | Math.Combinatorics.Hypergraph |
| SC | Math.Algebras.Structures |
| scalarPart | Math.Algebras.Quaternions |
| schlafli | Math.Combinatorics.StronglyRegularGraph |
| schlafli' | Math.Combinatorics.StronglyRegularGraph |
| schreierGeneratorsGx | Math.Algebra.Group.SchreierSims |
| Seq | Math.QuantumAlgebra.TensorCategory |
| SeqT | |
| 1 (Data Constructor) | Math.QuantumAlgebra.OrientedTangle |
| 2 (Data Constructor) | Math.QuantumAlgebra.Tangle |
| seriesConnection | Math.Combinatorics.Matroid |
| set | Math.Combinatorics.Graph |
| SetCoalgebra | Math.Algebras.Structures |
| setDiag | Math.Projects.RootSystem |
| setStab | Math.Algebra.Group.PermutationGroup |
| setUnionAsc | Math.Core.Utils |
| setUnionDesc | Math.Core.Utils |
| SGen | Math.Algebra.Group.StringRewriting |
| sgs | |
| 1 (Function) | Math.Algebra.Group.SchreierSims |
| 2 (Function) | Math.Algebra.Group.RandomSchreierSims |
| Sh | Math.Combinatorics.CombinatorialHopfAlgebra |
| sh | Math.Combinatorics.CombinatorialHopfAlgebra |
| shape | Math.Combinatorics.CombinatorialHopfAlgebra |
| shapeSignature | Math.Combinatorics.CombinatorialHopfAlgebra |
| shiftedConcat | Math.Combinatorics.CombinatorialHopfAlgebra |
| shortlex | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Combinatorics.Matroid |
| showUP | Math.Algebra.Field.Extension |
| Shuffle | Math.Combinatorics.CombinatorialHopfAlgebra |
| shuffles | Math.Combinatorics.CombinatorialHopfAlgebra |
| sift | Math.Algebra.Group.SchreierSims |
| sign | Math.Algebra.Group.PermutationGroup |
| signedSort | Math.Algebras.TensorAlgebra |
| simpleFromGeoRep | Math.Combinatorics.Matroid |
| simpleSystem | Math.Projects.RootSystem |
| size | Math.Combinatorics.Graph |
| sl | Math.Projects.ChevalleyGroup.Classical |
| SL2 | |
| 1 (Type/Class) | Math.Algebras.AffinePlane |
| 2 (Data Constructor) | Math.Algebras.AffinePlane |
| SL2q | |
| 1 (Type/Class) | Math.QuantumAlgebra.QuantumPlane |
| 2 (Data Constructor) | Math.QuantumAlgebra.QuantumPlane |
| sl2q | Math.QuantumAlgebra.QuantumPlane |
| sl2Var | Math.Algebras.AffinePlane |
| smultL | Math.Algebras.VectorSpace |
| smultR | Math.Algebras.VectorSpace |
| solveLinearSystem | Math.Algebra.LinearAlgebra |
| sortDesc | Math.Core.Utils |
| source | Math.QuantumAlgebra.TensorCategory |
| sp | Math.Combinatorics.StronglyRegularGraph |
| sp2 | |
| 1 (Function) | Math.Combinatorics.StronglyRegularGraph |
| 2 (Function) | Math.Projects.ChevalleyGroup.Classical |
| splits | Math.Combinatorics.CombinatorialHopfAlgebra |
| splitSubstring | Math.Algebra.Group.StringRewriting |
| sPoly | |
| 1 (Function) | Math.Algebra.NonCommutative.GSBasis |
| 2 (Function) | Math.CommutativeAlgebra.GroebnerBasis |
| sqnorm | |
| 1 (Function) | Math.Algebras.Quaternions |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| Sqrt | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Data Constructor) | Math.Algebra.Field.Extension |
| 3 (Data Constructor) | Math.NumberTheory.QuadraticField |
| sqrt | Math.NumberTheory.QuadraticField |
| sqrt2 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrt3 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrt5 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrt6 | Math.NumberTheory.QuadraticField |
| sqrt7 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.NumberTheory.QuadraticField |
| sqrtminus2 | Math.Algebra.Field.Extension |
| sqrtminus3 | Math.Algebra.Field.Extension |
| sqrtminus5 | Math.Algebra.Field.Extension |
| sqrtvar | Math.Projects.KnotTheory.LaurentMPoly |
| squaresF9 | Math.Projects.MiniquaternionGeometry |
| srgParams | Math.Combinatorics.StronglyRegularGraph |
| srgParamsOA | Math.Combinatorics.LatinSquares |
| ss | Math.Algebra.Group.SchreierSims |
| ss' | Math.Algebra.Group.SchreierSims |
| SSymF | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymF | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymFtoDual | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymFtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| SSymM | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymM | Math.Combinatorics.CombinatorialHopfAlgebra |
| ssymMtoF | Math.Combinatorics.CombinatorialHopfAlgebra |
| stabilizer | Math.Algebra.Group.PermutationGroup |
| Star | Math.Combinatorics.FiniteGeometry |
| starSubstitutionsV | Math.Combinatorics.Matroid |
| StrictMonoidal | Math.QuantumAlgebra.TensorCategory |
| subgpAction | Math.Algebra.Group.PermutationGroup |
| subgps | Math.Algebra.Group.PermutationGroup |
| subposet | Math.Combinatorics.Poset |
| subsetDesign | Math.Combinatorics.Design |
| subspaces | Math.Combinatorics.Poset |
| subst | |
| 1 (Function) | Math.Algebra.NonCommutative.NCPoly |
| 2 (Function) | Math.Projects.KnotTheory.LaurentMPoly |
| 3 (Function) | Math.CommutativeAlgebra.Polynomial |
| substStars | Math.Combinatorics.Matroid |
| successors | Math.Combinatorics.Digraph |
| sugar | Math.CommutativeAlgebra.GroebnerBasis |
| sumf | Math.Algebras.VectorSpace |
| sumI | Math.CommutativeAlgebra.GroebnerBasis |
| sumv | Math.Algebras.VectorSpace |
| supp | Math.Algebra.Group.PermutationGroup |
| switch | Math.Combinatorics.StronglyRegularGraph |
| Sym | Math.Algebras.TensorAlgebra |
| symDiff | Math.Common.ListSet |
| SymE | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| symE | Math.Combinatorics.CombinatorialHopfAlgebra |
| symEtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| SymH | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| symH | Math.Combinatorics.CombinatorialHopfAlgebra |
| symHtoM | Math.Combinatorics.CombinatorialHopfAlgebra |
| SymM | |
| 1 (Type/Class) | Math.Combinatorics.CombinatorialHopfAlgebra |
| 2 (Data Constructor) | Math.Combinatorics.CombinatorialHopfAlgebra |
| symM | Math.Combinatorics.CombinatorialHopfAlgebra |
| Symmetric | Math.QuantumAlgebra.TensorCategory |
| SymmetricAlgebra | Math.Algebras.TensorAlgebra |
| symmetricBasis | Math.Algebra.NonCommutative.TensorAlgebra |
| symMult | Math.Combinatorics.CombinatorialHopfAlgebra |
| symnf | Math.Algebra.NonCommutative.TensorAlgebra |
| symRelations | Math.Algebra.NonCommutative.TensorAlgebra |
| symToQSymM | Math.Combinatorics.CombinatorialHopfAlgebra |
| synthemes | Math.Combinatorics.Hypergraph |
| s_ | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Projects.KnotTheory.Braid |
| s_3_6_22 | Math.Combinatorics.Design |
| s_4_5_11 | Math.Combinatorics.Design |
| s_4_7_23 | Math.Combinatorics.Design |
| s_5_6_12 | Math.Combinatorics.Design |
| s_5_8_24 | Math.Combinatorics.Design |
| s_5_8_24' | Math.Combinatorics.Design |