Documentation

Cohomology Group
- ModAlg_Cohomology Group (Example H97E30)
Cohomology-2
- AlgBas_Cohomology-2 (Example H92E21)
- GrpPerm_Cohomology-2 (Example H64E38)
cohomology-extensions
- Cohomology and Extensions (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
cohomology-generators
- Cohomology Generators (BASIC ALGEBRAS)
cohomology-groups
- Calculating Cohomology (COHOMOLOGY AND EXTENSIONS)
cohomology-relations
- Cohomology Rings (BASIC ALGEBRAS)
CohomologyClass
- CohomologyClass(alpha) : OneCoC -> SetIndx[OneCoC]
CohomologyDimension
- CohomologyDimension(M,r,n) : ModMPolGrd, RngIntElt, RngIntElt -> RngIntElt
- CohomologyDimension(S, r, n) : ShfCoh, RngIntElt, RngIntElt -> RngIntElt
CohomologyElementToChainMap
- CohomologyElementToChainMap(P, d, n) : ModCpx ,RngIntElt, RngIntElt -> MapChn
CohomologyElementToCompactChainMap
- CohomologyElementToCompactChainMap(PR, d, n): Rec, RngIntElt, RngIntElt -> ModMatFldElt
CohomologyGeneratorToChainMap
- CohomologyGeneratorToChainMap(P,Q,C,n) : ModCpx, ModCpx, Rec, RngIntElt -> MapChn
- CohomologyGeneratorToChainMap(P, C, n) : ModCpx, Tup, RngIntElt -> MapChn
CohomologyGroup
- CohomologyGroup(CM, n) : ModCoho, RngIntElt -> ModTupRng
- CohomologyGroup(CM, n) : ModCoho, RngIntElt -> ModTupRng
CohomologyLeftModuleGenerators
- CohomologyLeftModuleGenerators(P, CP, Q) : Tup, Tup, Tup -> Tup
CohomologyModule
- CohomologyModule(A) : FldAb -> ModGrp, Map, Map, Map
- CohomologyModule(G, A, M) : GrpPerm, GrpAb, Any -> ModCoho
- CohomologyModule(G, M) : GrpPerm, ModGrp -> ModCoho
- CohomologyModule(G, M) : GrpPerm, ModGrp -> ModCoho
- CohomologyModule(G, Q, T) : GrpPerm, SeqEnum, SeqEnum -> ModCoho
CohomologyRightModuleGenerators
- CohomologyRightModuleGenerators(P, Q, CQ) : Rec, Rec, Rec -> Rec
CohomologyRing
- CohomologyRing(k, n) : ModAlgBas, RngIntElt -> Rec
- AlgBas_CohomologyRing (Example H92E23)
CohomologyRingGenerators
- CohomologyRingGenerators(P) : Rec -> Rec
CohomologyRingQuotient
- CohomologyRingQuotient(CR) : Rec -> Rng,Map
CohomologyToChainmap
- CohomologyToChainmap(xi,CR,P) : RngElt, Rec, ModCpx -> MapChn
Cohomotopism
- CohomotopismCategory(v) : RngIntElt -> TenCat
CohomotopismCategory
- CohomotopismCategory(v) : RngIntElt -> TenCat
Coisogeny
- CoisogenyGroup(G) : GrpLie -> GrpAb, Map
- CoisogenyGroup(W) : GrpMat -> GrpAb, Map
- CoisogenyGroup(W) : GrpPermCox -> GrpAb
- CoisogenyGroup(R) : RootDtm -> GrpAb, Map
CoisogenyGroup
- CoisogenyGroup(G) : GrpLie -> GrpAb, Map
- CoisogenyGroup(W) : GrpMat -> GrpAb, Map
- CoisogenyGroup(W) : GrpPermCox -> GrpAb
- CoisogenyGroup(R) : RootDtm -> GrpAb, Map
Cokernel
- BurnsideCokernel(G) : Grp -> GrpAb, UserProgram, SeqEnum[AlgChtrElt]
- Cokernel(f) : MapChn -> ModCpx, MapChn
- Cokernel(phi) : MapModAbVar -> ModAbVar, MapModAbVar
- Cokernel(phi) : MapModAbVar -> ModAbVar, MapModAbVar
- Cokernel(f) : ModMatFldElt -> ModAlg,ModMatFldElt
- Cokernel(a) : ModMatRngElt -> ModTupFld, Map
- Cokernel(a) : ModMatRngElt -> ModTupRng
- Cokernel(f) : ModMPolHom -> ModMPol
- Cokernel(f) : ShfHom -> ShfCoh, ShfHom
- IsCokernelTorsionFree(f) : TorLatMap -> BoolElt
- UniversalPropertyOfCokernel(pi, f) : MapModAbVar, MapModAbVar -> MapModAbVar
Collatz
- IO_Collatz (Example H3E18)
Collect
- Collect(P, Q) : GrpPCpQuotientProc, [ <RngIntElt, RngIntElt> ] -> [ RngIntElt ] ->
- Collect(R, D, M) : RootDtm, LieRepDec, AlgMatElt -> LieRepDec
- CollectRelations(~P) : GrpPCpQuotientProc ->
CollectRelations
- CollectRelations(~P) : GrpPCpQuotientProc ->
Collinear
- CollinearPointsOnPlane(P2,S) : Prj,SetIndx[Pt] -> SeqEnum
- IsCollinear(P, S) : Plane, { PlanePt } -> BoolElt, PlaneLn
CollinearPointsOnPlane
- CollinearPointsOnPlane(P2,S) : Prj,SetIndx[Pt] -> SeqEnum
Collineation
- CentralCollineationGroup(P, l) : Plane, PlaneLn -> GrpPerm, PowMap, Map
- CentralCollineationGroup(P, p) : Plane, PlanePt -> GrpPerm, PowMap, Map
- CentralCollineationGroup(P, p, l) : Plane, PlanePt, PlaneLn -> GrpPerm, PowMap, Map
- CollineationGroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
- CollineationGroupStabilizer(P, k) : Plane, RngIntElt -> GrpPerm, GSet, GSet, PowMap, Map
- CollineationSubgroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
- IsCentralCollineation(P, g) : Plane, GrpPermElt -> BoolElt, PlanePt, PlaneLn
- Plane_Collineation (Example H150E13)
collineation
- The Collineation Group of a Plane (FINITE PLANES)
collineation-group
- The Collineation Group of a Plane (FINITE PLANES)
CollineationGroup
- AutomorphismGroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
- PointGroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
- CollineationGroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
CollineationGroupStabilizer
- CollineationGroupStabilizer(P, k) : Plane, RngIntElt -> GrpPerm, GSet, GSet, PowMap, Map
CollineationGSet
- Plane_CollineationGSet (Example H150E12)
CollineationSubgroup
- CollineationSubgroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
Colon
- Colon(J, I): AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> PMat
- ColonIdeal(M, N) : ModMPol, ModMPol -> RngMPol
- ColonIdeal(I, J) : RngMPol, RngMPol -> RngMPol
- ColonIdeal(I, f) : RngMPol, RngMPolElt -> RngMPol, RngIntElt
- ColonIdeal(I, J) : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
- ColonIdealEquivalent(I, f) : RngMPol, RngMPolElt -> RngMPol, RngMPolElt
- ColonModule(M, J) : ModMPol, RngMPol -> ModMPol
- IdealQuotient(I, J) : RngFunOrdIdl, RngFunOrdIdl -> RngFunOrdIdl

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.