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

Subindex: product  ..  Projective


product

   KSpace(K, n, F) : Fld, RngIntElt, Mtrx -> ModTupFld
   Construction of a Vector Space with Inner Product Matrix (VECTOR SPACES)
   Inner Products (FREE MODULES)
   Operators (OVERVIEW)
   Tensor Products (MATRIX GROUPS)
   The Cartesian Product Constructors (SETS)
   TUPLES AND CARTESIAN PRODUCTS
   Unions and Products of Graphs (GRAPHS)

ProductProjectiveSpace

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

ProductRepresentation

   ProductRepresentation(a) : FldFunGElt -> [FldFunGElt], [RngIntElt]
   ProductRepresentation(Q, S) : [FldFunGElt], [RngIntElt] -> FldFunGElt

Products

   BasisProducts(A) : AlgGen -> [[ AlgGenElt ]]
   BasisProducts(L) : AlgLie -> [[ AlgLieElt ]]
   AlgMat_Products (Example H69E5)
   GrpPerm_Products (Example H17E8)

products

   Direct Products and Wreath Products (PERMUTATION GROUPS)
   Tensor Products of K[G]-Modules (K[G]-MODULES AND GROUP REPRESENTATIONS)

Progression

   Seq_Progression (Example H8E1)
   Set_Progression (Example H7E5)

progression

   Sequences (OVERVIEW)
   Sets (OVERVIEW)
   The Arithmetic Progression Constructors (SEQUENCES)
   The Arithmetic Progression Constructors (SETS)

Proj

   Proj(R) : RngMPolRes -> Sch,Prj
   ProjectiveSpace(R) : RngMPol -> Prj

proj-cl-commutes

   Crv_proj-cl-commutes (Example H88E7)

Projection

   K3ProjectionCodomains(X) : GrphVert -> SeqEnum
   K3ProjectionPaths(X) : GrphVert -> SeqEnum
   K3ProjectionSubgraph(X) : GrphVert -> GrphDir
   Projection(X,Y) : Prj,Prj -> MapSch
   Projection(X, Q) : Sch, Prj -> Sch, MapSch
   ProjectionChains(X,DB) : VSrfK3,SeqEnum -> SeqEnum
   ProjectionFromNonsingularPoint(X,p) : Sch,Pt -> Sch,MapSch,Sch

ProjectionChains

   ProjectionChains(X,DB) : VSrfK3,SeqEnum -> SeqEnum

ProjectionFromNonsingularPoint

   ProjectionFromNonsingularPoint(X,p) : Sch,Pt -> Sch,MapSch,Sch

Projections

   K3Projections(G) : GrphDir -> SeqEnum
   K3Projections(X) : GrphVert -> SeqEnum

Projective

   CompactProjectiveResolution(M, n) : ModAlg, RngIntElt -> Tup
   Curve(Div) : DivCrv -> Crv
   Curve(D) : DivCrvElt -> Crv
   Curve(F) : FldFun -> Crv
   Curve(P) : PlcCrv -> Crv
   Curve(P) : PlcCrvElt -> Crv
   DimensionsOfProjectiveModules(B) : AlgBas -> SeqEnum
   FactoredProjectiveOrder(a) : AlgMatElt -> [ <RngIntElt, RngIntElt> ]
   FactoredProjectiveOrder(A) : AlgMatElt -> [ <RngIntElt, RngIntElt> ], RngElt
   FiniteProjectivePlane(D) : Inc -> Plane, PlanePtSet, PlaneLnSet
   FiniteProjectivePlane(W) : ModTupFld -> PlaneProj
   FiniteProjectivePlane< v | X : parameters > : RngIntElt, List -> PlaneProj
   IsOrdinaryProjective(X) : Sch -> BoolElt
   IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt
   IsProjective(C) : Code -> BoolElt
   IsProjective(M) : ModAlg -> BoolElt, SeqEnum
   IsProjective(X) : Sch -> BoolElt
   IsProjectiveSpace(X) : Sch -> BoolElt
   MakeProjectiveClosureMap(A, P, S) : Aff,Prj,SeqEnum ->
   PGO(arguments)
   PGOMinus(arguments)
   PGOPlus(arguments)
   PSO(arguments)
   PSOMinus(arguments)
   PSOPlus(arguments)
   ProductProjectiveSpace(k,N) : Rng,SeqEnum -> PrjScrl
   ProjectiveClosure(f) : MapSch -> MapSch
   ProjectiveClosure(A): Sch -> Sch
   ProjectiveClosure(C) : Sch -> Sch
   ProjectiveClosure(X) : Sch -> Sch
   ProjectiveClosureMap(A) : Aff -> MapSch
   ProjectiveCover(M) : ModAlg -> ModAlg, ModMatFldElt, SeqEnum[ModMatFldElt], SeqEnum[ModMatFldElt], SeqEnum[RngIntElt]
   ProjectiveCurve(F) : FldFun -> Crv
   ProjectiveEmbedding(P) : PlaneAff -> PlaneProj, PlanePtSet, PlaneLnSet, Map
   ProjectiveGammaLinearGroup(arguments)
   ProjectiveGammaUnitaryGroup(arguments)
   ProjectiveGeneralLinearGroup(arguments)
   ProjectiveGeneralUnitaryGroup(arguments)
   ProjectiveMap(f, X, Y) : FldFunGElt, Sch, Sch -> MapSch
   ProjectiveMap(L, X, Y) : [FldFunGElt], Sch, Sch -> MapSch
   ProjectiveModule(B, i) : AlgBas, RngIntElt -> ModRng
   ProjectiveModule(B, S) : AlgBas, SeqEnum[RngIntElt] -> ModAlg, SeqEnum, SeqEnum
   ProjectiveOmega(arguments)
   ProjectiveOmegaMinus(arguments)
   ProjectiveOmegaPlus(arguments)
   ProjectiveOrder(a) : AlgMatElt -> RngIntElt
   ProjectiveOrder(A) : AlgMatElt -> RngIntElt, RngElt
   ProjectiveResolution(M, n) : ModAlg, RngIntElt -> ModCpx, ModMatFldElt
   ProjectiveSigmaLinearGroup(arguments)
   ProjectiveSigmaSymplecticGroup(arguments)
   ProjectiveSigmaUnitaryGroup(arguments)
   ProjectiveSpace(k,2) : Rng,RngIntElt -> Prj
   ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj
   ProjectiveSpace(R) : RngMPol -> Prj
   ProjectiveSpecialLinearGroup(arguments)
   ProjectiveSpecialUnitaryGroup(arguments)
   ProjectiveSuzukiGroup(arguments)
   ProjectiveSymplecticGroup(arguments)


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