- solvable
- solvable-nilpotent
- SolvableLieAlgebra
- SolvableQuotient
- SolvableQuotient(G) : Grp -> GrpPC, Map
- SolubleQuotient(G) : Grp -> GrpPC, Map
- SolubleQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
- SolvableQuotient(G): GrpMat -> GrpPC, Map
- SolvableQuotient(G): GrpPerm -> GrpPC, Map, SeqEnum, MonStgElt
- SolvableQuotient(G : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
- SolvableQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
- SolvableRadical
- SolvableResidual
- SolvableSchreier
- SolvableSubgroups
- Solve
- solve-radical
- solve_quad
- SolveByRadicals
- SolveOverGF2
- solving
- Some
- Some-standard-constructions
- Some_examples
- SOMinus
- SOPlus
- Sort
- SortDecomposition
- Sorted
- Source
- source
- SP
- Sp
- ASigmaSp(arguments)
- AffineSigmaSymplecticGroup(arguments)
- ExtendedSymplecticGroup(n,q,m) : RngIntElt, RngIntElt, RngIntElt -> GrpMat
- IndexOfSp(G) : GrpMat -> RngIntElt
- ProjectiveSigmaSymplecticGroup(arguments)
- RecogniseSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- SnuRing (F) : FldPad -> SnuRng
- SnuRing (F, nu) : FldPad, FldRatElt -> SnuRng
- SnuRing (S, nu) : RngSerPow, FldRatElt -> SnuRng
- SnuRing (S) : SpRng -> SnuRng
- SpMatrix (A) : SeqEnum -> SpMat
- SpMatrixSpace (S, r, c) : SpRng, RngIntElt, RngIntElt -> SpMatRng
- SpSpace (v) : SeqEnum -> SpSpc
- SpSpace (M) : SpMat -> SpSpc
- SpSpace (R, n) : SpRng, RngIntElt -> SpSpc
- SpVector (e) : SeqEnum -> SpVec
- SymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- sp-kernel
- sp-matrices
- sp-mod-basics
- sp-vertices-ex
- Sp4
- RecognizeSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- RecogniseSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- Space
- AffinePlane(k) : Rng -> Aff
- AffineSpace(k,n) : Rng, RngIntElt -> Aff
- AffineSpace(k,n) : Rng,RngIntElt -> Aff
- AffineSpace(R) : RngMPol -> Aff
- AlternatingSpace(T) : TenSpc -> TenSpc, Map
- Ambient(L) : LinearSys -> Prj
- AmbientSpace(C) : Code -> ModTupRng
- AmbientSpace(C) : Code -> ModTupRng
- AmbientSpace(C) : Code -> ModTupRng
- AmbientSpace(L) : Lat -> ModTupFld, Map
- AmbientSpace(M) : ModFrm -> ModFrm
- AmbientSpace(C) : Sch -> Sch
- AmbientSpace(X) : Sch -> Sch
- AntisymmetricSpace(T) : TenSpc -> TenSpc, Map
- AsCotensorSpace(T) : TenSpcElt -> TenSpc, Mtrx
- AsTensorSpace(T, i) : TenSpcElt, RngIntElt -> TenSpc, Mtrx
- AssociatedNewSpace(M) : ModSym -> ModSym
- ClassFunctionSpace(G) : Grp -> AlgChtr
- ClassFunctionSpace(Q) : SeqEnum -> AlgChtr
- CoefficientSpace(L) : LinearSys -> ModTupFld
- CoordinateSpace(L) : Lat -> ModTupFld, Map
- CosetSpace(G, H: parameters) : GrpFP, GrpFP: -> GrpFPCos
- CotensorSpace(S) : SeqEnum -> TenSpc
- DefiningModularSymbolsSpace(pi) : RepLoc -> ModSym
- DifferentialSpace(C) : Crv -> DiffCrv
- DifferentialSpace(D) : DivCrvElt -> ModFld, Map
- DifferentialSpace(D) : DivCrvElt -> ModFld,Map
- DifferentialSpace(D) : DivFunElt -> ModFld, Map
- DifferentialSpace(D) : DivFunElt -> ModFld, Map
- DifferentialSpace(F) : FldFun -> DiffFun
- DifferentialSpace(F) : FldFunG -> DiffFun
- DualVectorSpace(M) : ModSym -> ModTupFld
- EmbeddingSpace(M) : ModDed -> Mod
- ExteriorCotensorSpace(V, n) : ModTupFld, RngIntElt -> TenSpc
- FanOfAffineSpace(n) : RngIntElt -> TorFac
- FanOfFakeProjectiveSpace(W,Q) : SeqEnum, SeqEnum -> TorFan
- [Future release] FanOfProjectiveSpace(n) : RngIntElt -> TorFac
- GammaRootSpace(R) : RootDtm -> GSetEnum, Map
- HilbertSpace(F, n) : FldCom, RngIntElt -> HilbSpc
- IdenticalAmbientSpace(X,Y) : Sch, Sch -> BoolElt
- Image(a) : AlgMatElt -> ModTup
- InformationSpace(C) : Code -> ModTupFld
- InformationSpace(C) : CodeLinRng -> ModTupRng, ModTupFld, Map, Map
- IsAmbientSpace(M) : ModFrm -> BoolElt
- IsAmbientSpace(M) : ModSS -> BoolElt
- IsFakeWeightedProjectiveSpace(X) : TorVar -> BoolElt
- IsInRootSpace(v) : ModTupFldElt -> BoolElt
- IsInRootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
- IsLinearSpace(D) : Inc -> BoolElt
- IsLinearSpace(C) : TorCon -> BoolElt
- IsMoriFibreSpace(X,i) : TorVar,RngIntElt -> BoolElt
- IsNearLinearSpace(D) : Inc -> BoolElt
- IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt
- IsPolarSpace(V) : ModTupFld -> BoolElt
- IsPseudoSymplecticSpace(W) : ModTupFld -> BoolElt
- IsRootSpace(V) : ModTupFld -> BoolElt
- IsSubtensorSpace(T, S) : TenSpc, TenSpc -> BoolElt
- IsSymplecticSpace(W) : ModTupFld -> BoolElt
- IsUnitarySpace(W) : ModTupFld -> BoolElt, RngIntElt
- IsWeightedProjectiveSpace(X) : TorVar -> BoolElt
- KCotensorSpace(K, S) : Fld, [RngIntElt] -> TenSpc
- KMatrixSpace(K, m, n) : Fld, RngIntElt, RngIntElt -> ModMatFld
- KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
- KTensorSpace(K, S) : Fld, [RngIntElt] -> TenSpc
- Kernel(a) : AlgMatElt -> ModTup
- Kernel(a) : ModMatRngElt -> ModTupFld, Map
- Kernel(a) : ModMatRngElt -> ModTupRng
- Lattice(H) : HomModAbVar -> Lat
- LensSpace(p) : RngIntElt -> SmpCpx
- LinearSpace(I) : Inc -> IncLsp
- LinearSpace< v | X : parameters > : RngIntElt, List -> IncLsp
- MetabolicSpace(V) : ModTupFld -> ModTupFld
- MinkowskiSpace(F) : FldAlg -> Lat, Map
- MinkowskiSpace(K) : FldNum -> KModTup, Map
- MinkowskiSpace(F) : FldNum -> Lat, Map
- NearLinearSpace(I) : Inc -> IncNsp
- NearLinearSpace< v | X : parameters > : RngIntElt, List -> IncNsp
- NormSpace(A) : AlgQuat -> ModTupFld, Map
- NormSpace(S) : AlgQuatOrd -> ModTupRng, Map
- NullspaceOfTranspose(X) : AlgMatLieElt -> ModTupRng
- PolarSpaceType(V) : ModTupFld -> MonStgElt
- PolytopeOfProjectiveSpace(d) : RngIntElt -> TorPol
- ProductProjectiveSpace(k,N) : Rng,SeqEnum -> PrjScrl
- ProjectiveSpace(k,n) : Fld,RngIntElt -> Prj
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
- ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj
- ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj
- ProjectiveSpace(R) : RngMPol -> Prj
- QuadraticSpace(Q) : AlgMatElt -> ModTupRng
- QuadraticSpace(f) : RngMPolElt -> ModTupRng
- RMatrixSpace(H) : HomModAbVar -> ModMatFld
- RMatrixSpace(R, m, n) : Rng, RngIntElt, RngIntElt -> ModMatRng
- RMatrixSpace(R, m, n) : Rng, RngIntElt, RngIntElt -> ModMatRng
- RMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
- RMatrixSpaceWithBasis(Q) : [ModTupRngElt] -> ModMatRng
- RModule(M) : ModFrm -> ModTupRng, Map
- RSpace(C) : Code -> ModTupRng
- RTensorSpace(R, S) : Rng, [RngIntElt] -> TenSpc
- RealVectorSpace(H) : ModAbVarHomol -> ModTupFld
- RelativeRootSpace(R) : RootDtm -> ModTupFld, Map
- RiemannRochBasis(D) : DivSchElt -> SeqEnum
- RiemannRochSpace(D) : DivCrvElt -> ModFld,Map
- RiemannRochSpace(D) : DivFunElt -> ModFld, Map
- RightCosetSpace(G, H: parameters) : GrpFP, GrpFP -> GrpFPCos
- RootSpace(G) : GrpLie -> Lat
- RootSpace(W) : GrpMat -> Lat
- RootSpace(W) : GrpPermCox -> .
- RootSpace(R) : RootStr -> ModTupFld
- RootSpace(R) : RootSys -> ModTupFld
- RowNullSpace(a) : AlgMatElt -> ModTup
- ShadowSpace(D,I) : IncGeom, Set -> Inc
- SpMatrixSpace (S, r, c) : SpRng, RngIntElt, RngIntElt -> SpMatRng
- SpSpace (v) : SeqEnum -> SpSpc
- SpSpace (M) : SpMat -> SpSpc
- SpSpace (R, n) : SpRng, RngIntElt -> SpSpc
- SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map
- SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map
- SymmetricCotensorSpace(V, n) : ModTupFld, RngIntElt -> TenSpc
- SymmetricSpace(T) : TenSpc -> TenSpc, Map
- SymplecticSpace(J) : AlgMatElt -> ModTupRng
- SyndromeSpace(C) : Code -> ModTupFld
- SyndromeSpace(C) : CodeLinRng -> ModTupRng, ModTupFld
- TangentSpace(p) : Pt -> Sch
- TensorSpace(V, p, q) : ModTupFld, RngIntElt, RngIntElt -> TenSpc
- TensorSpace(S) : SeqEnum -> TenSpc, List
- ThetaSeriesModularFormSpace(L) : Lat -> ModFrm
- To2DUpperHalfSpaceFundamentalDomain(z) : Mtrx -> Mtrx, Mtrx
- UnitarySpace(J, sigma) : AlgMatElt, Map -> ModTupFld
- UniversalTensorSpace(T) : TenSpc -> TenSpc
- VectorSpace(B) : AlgBas -> ModTupFld
- VectorSpace(A) : AlgFP -> ModTupFld, Map
- VectorSpace(K, n) : Fld, RngIntElt -> ModTupFld
- VectorSpace(K, n, F) : Fld, RngIntElt, Mtrx -> ModTupFld
- VectorSpace(K, J) : FldAlg, Fld -> ModTupFld, Map
- VectorSpace(F, E) : FldFin, FldFin -> ModTupFld, Map
- VectorSpace(F, E, B) : FldFin, FldFin, [ FldFinElt ] -> ModTupFld, Map
- VectorSpace(K, J) : FldNum, Fld -> ModTupFld, Map
- VectorSpace(Q, Q) : FldRat, Fld -> ModTupFld, Map
- VectorSpace(G) : GrpMat -> ModTupFld
- VectorSpace(H) : ModAbVarHomol -> ModTupFld
- VectorSpace(M) : ModSym -> ModTupFld, Map, Map
- VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
- VectorSpace(P) : Plane -> ModTupFld
- VectorSpace(Q) : RngMPolRes -> ModTupFld, Map
- VectorSpaceWithBasis(Q) : [ModTupFldElt] -> ModTupFld
- ZeroRootLattice(R) : RootDtm -> Lat
V2.28, 13 July 2023