[____] [____] [_____] [____] [__] [Index] [Root] 


Subindex: solution  ..    Space




solution

   Linear Systems (Structured Gaussian Elimination) (SPARSE MATRICES)

   Nullspace (SPARSE MATRICES)

   Nullspaces and Solutions of Systems (MATRICES)

   Solutions of Systems of Linear Equations (MATRIX ALGEBRAS)


solution-equation

   Nullspace (SPARSE MATRICES)

   Nullspaces and Solutions of Systems (MATRICES)

   Solutions of Systems of Linear Equations (MATRIX ALGEBRAS)


Solutions

   Solutions(t, a) : Thue, RngIntElt -> [ [ RngIntElt, RngIntElt ] ]


Solutionspace

   DeleteNonsplitSolutionspace(SQP, p, i, k): SQProc, RngIntElt, RngIntElt, RngIntElt ->

   DeleteSplitSolutionspace(SQP, p, i, k): SQProc, RngIntElt, RngIntElt, RngIntElt ->


Solvable

   IsLocallySolvable(X, p) : Sch, RngOrdIdl -> BoolElt, Pt

   IsSoluble(L) : AlgLie -> BoolElt

   IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp

   IsSoluble(G) : GrpAb -> BoolElt

   IsSoluble(A) : GrpAuto -> BoolElt

   IsSoluble(G) : GrpFin -> BoolElt

   IsSoluble(G) : GrpGPC -> BoolElt

   IsSoluble(G) : GrpMat -> BoolElt

   IsSoluble(G) : GrpPC -> BoolElt

   IsSoluble(G) : GrpPerm -> BoolElt

   Radical(G) : GrpMat -> GrpMat

   Radical(G) : GrpPerm -> GrpPerm

   SolubleQuotient(G) : Grp -> GrpPC, Map

   SolubleQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt

   SolubleRadical(L) : AlgLie -> AlgLie

   SolubleRadical(L) : AlgLie -> AlgLie

   SolubleResidual(G) : GrpFin -> GrpFin

   SolubleResidual(G) : GrpMat -> GrpMat

   SolubleResidual(G) : GrpPerm -> GrpPerm

   SolubleSchreier(G: parameters) : GrpPerm : ->

   SolubleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]

   SolvableQuotient(G): GrpMat -> GrpPC, Map

   SolvableQuotient(G): GrpPerm, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt

   SolvableQuotient(G : parameters): GrpFP, RngIntElt                                             -> GrpPC, Map, SeqEnum, MonStgElt

   SolvableQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt

   SolvableSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]


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, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt

   SolvableQuotient(G : parameters): GrpFP, RngIntElt                                             -> GrpPC, Map, SeqEnum, MonStgElt

   SolvableQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt


SolvableRadical

   SolubleRadical(G) : GrpMat -> GrpMat

   SolvableRadical(G) : GrpMat -> GrpMat

   Radical(G) : GrpMat -> GrpMat

   Radical(G) : GrpPerm -> GrpPerm

   SolubleRadical(L) : AlgLie -> AlgLie

   SolubleRadical(L) : AlgLie -> AlgLie


SolvableResidual

   SolvableResidual(G) : GrpFin -> GrpFin

   SolubleResidual(G) : GrpFin -> GrpFin

   SolubleResidual(G) : GrpMat -> GrpMat

   SolubleResidual(G) : GrpPerm -> GrpPerm


SolvableSchreier

   SolvableSchreier(G: parameters) : GrpPerm : ->

   SolubleSchreier(G: parameters) : GrpPerm : ->


SolvableSubgroups

   SolvableSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]

   SolubleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]

   SolvableSubgroups(G: parameters) : GrpPerm -> [ rec< GrpPerm, RngIntElt, RngIntElt, GrpFP> ]


SOMinus

   SOMinus(arguments)

   SpecialOrthogonalGroupMinus(arguments)


SOPlus

   SOPlus(arguments)

   SpecialOrthogonalGroupPlus(arguments)


Sort

   Sort(~S) : SeqEnum ->

   Sort(~S, C) : SeqEnum, UserProgram ->

   SortDecomposition(D) : [ModBrdt] -> SeqEnum

   SortDecomposition(D) : [ModSym] -> SeqEnum


SortDecomposition

   SortDecomposition(D) : [ModBrdt] -> SeqEnum

   SortDecomposition(D) : [ModSym] -> SeqEnum


Sp

   PSigmaSp(arguments)

   ProjectiveSigmaSymplecticGroup(arguments)

   SymplecticGroup(arguments)


sp-vertices-ex

   Newton_sp-vertices-ex (Example H60E4)


Space

   AffinePlane(k) : Rng -> Aff

   AffineSpace(k,2) : Rng, RngIntElt -> Aff

   AffineSpace(k,n) : Rng,RngIntElt -> Aff

   AffineSpace(R) : RngMPol -> Aff

   Ambient(L) : LinSys -> Prj

   AmbientSpace(C) : Code -> ModTupRng

   AmbientSpace(C) : Code -> ModTupRng

   AmbientSpace(L) : Lat -> ModTupFld, Map

   AmbientSpace(C) : Sch -> Sch

   AmbientSpace(X) : Sch -> Sch

   AssociatedNewSpace(M) : ModSym -> ModSym

   [Future release] CircuitSpace(G) : GrphUnd -> ModTup

   ClassFunctionSpace(G) : Grp -> AlgChtr

   CoefficientSpace(L) : LinSys -> ModTupFld

   CoordinateSpace(L) : Lat -> ModTupFld, Map

   CosetSpace(P) : GrpFPCosetEnumProc -> GrpFPCos

   CosetSpace(G, H: parameters) : GrpFP, GrpFP: -> GrpFPCos

   DifferentialSpace(C) : Crv -> DiffFun

   DifferentialSpace(D) : DivCrvElt -> ModTup,Map

   DifferentialSpace(D) : DivFunElt -> ModFld, Map

   DifferentialSpace(D) : DivFunElt -> ModFld, Map

   DifferentialSpace(F) : FldFun -> DiffFun

   DifferentialSpace(F) : FldFunG -> DiffFun

   DualVectorSpace(M) : ModSym -> ModTupFld

   Image(a) : AlgMatElt -> ModTup

   InformationSpace(C) : Code ->  ModTupFld

   IsAffineSpace(X) : Sch -> BoolElt

   IsAmbientSpace(M) : ModFrm -> BoolElt

   IsAmbientSpace(M) : ModSS -> BoolElt

   IsLinearSpace(D) : Inc -> BoolElt

   IsNearLinearSpace(D) : Inc -> BoolElt

   IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt

   IsProjectiveSpace(X) : Sch -> BoolElt

   KMatrixSpace(K, m, n) : Fld, RngIntElt, RngIntElt -> ModMat

   KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng

   Kernel(a) : AlgMatElt -> ModTup

   Kernel(a) : ModMatElt -> ModTupFld

   Kernel(a) : ModMatRngElt -> ModTupRng

   LinearSpace(I) : Inc -> IncLsp

   LinearSpace< v | X : parameters > : RngIntElt, List -> IncLsp

   MinkowskiSpace(F) : FldAlg -> Lat, Map

   MinkowskiSpace(K) : FldNum -> KModTup, Map

   NearLinearSpace(I) : Inc -> IncNsp

   NearLinearSpace< v | X : parameters > : RngIntElt, List -> IncNsp

   NonsplitExtensionSpace(SQP): SQProc -> SeqEnum

   NormSpace(A) : AlgQuat -> ModTupFld

   ProductProjectiveSpace(k,N) : Rng,SeqEnum -> PrjScrl

   ProjectiveSpace(k,2) : Rng,RngIntElt -> Prj

   ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj

   ProjectiveSpace(R) : RngMPol -> Prj

   RMatrixSpace(R, m, n) : Rng, RngIntElt, RngIntElt -> ModMatRng

   RMatrixSpace(R, m, n) : Rng, RngIntElt, RngIntElt -> ModMatRng

   RMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng

   RMatrixSpaceWithBasis(Q) : [ModTupRngElt] -> ModMatRng

   RSpace(C) : Code -> ModTupRng

   RiemannRochSpace(D) : DivCrvElt -> ModTupFld,Map

   RiemannRochSpace(D) : DivFunElt -> ModFld, Map

   RightCosetSpace(P) : GrpFPCosetEnumProc -> GrpFPCos

   RightCosetSpace(G, H: parameters) : GrpFP, GrpFP -> GrpFPCos

   RootSpace( W ) : GrpMat -> Lat

   RootSpace( W ) : GrpPermCox -> .

   RootSpace( R ) : RootDtm -> Lat

   RootSpace( R ) : RootSys -> ModTupFld

   RowNullSpace(a) : AlgMatElt -> ModTup

   ShadowSpace(D,I) : IncGeom, Set -> Inc

   SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map

   SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map

   SplitExtensionSpace(SQP): SQProc -> SeqEnum

   SyndromeSpace(C) : Code -> ModTupFld

   TangentSpace(p) : Sch,Pt -> Sch

   VectorSpace(B) : AlgBas -> ModTupFld

   VectorSpace(K, n) : Fld, RngIntElt -> ModTupFld

   VectorSpace(K, n, F) : Fld, RngIntElt, Mtrx -> ModTupFld

   VectorSpace(K, J) : FldCyc, Fld -> ModTupFld, Map

   VectorSpace(F, E) : FldFin, FldFin -> ModTupFld, Map

   VectorSpace(F, E, B) : FldFin, FldFin, [ FldFinElt ] -> ModTupFld, Map

   VectorSpace(G) : GrpMat -> ModTupFld

   VectorSpace(M) : ModSym -> ModTupFld, Map, Map

   VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map

   VectorSpace(M) : ModTupRng -> ModTupRng

   VectorSpace(P) : Plane -> ModTupFld

   VectorSpace(Q) : RngMPolRes -> ModTupFld, Map

   VectorSpaceWithBasis(B) : [ModTupFldElt] -> ModTupFld




[____] [____] [_____] [____] [__] [Index] [Root]