Documentation

CentralizerGLZ
- CentralizerGLZ(A) : AlgMatElt -> GrpMat
- NormalizerGLZ(G) : GrpMat[RngInt] -> GrpMat[RngInt]
CentralizerOfNormalSubgroup
- CentralizerOfNormalSubgroup(G, H) : GrpPerm, GrpPerm -> GrpPerm
Centralizing
- GHomOverCentralizingField(M, N) : ModGrp, ModGrp -> ModMatGrp
CentralOrder
- CentralOrder(g : parameters) : GrpMatElt -> RngIntElt, BoolElt
CentralValue
- CentralValue(L) : LSer -> FldComElt
Centre
- Centre(A) : Alg -> Alg
- Center(A) : Alg -> Alg
- Centre(A) : AlgAss -> AlgAss
- Centre(A) : AlgBas -> AlgBas, Map
- Centre(x) : AlgChtrElt -> Grp
- Centre(C) : AlgClff -> AlgAss, Map
- Centre(L) : AlgLie -> AlgLie
- Centre(A) : AlgMat -> AlgMat
- Centre(G) : GrpAb -> GrpAb
- Centre(G) : GrpFin -> GrpFin
- Centre(G) : GrpGPC -> GrpGPC
- Centre(G) : GrpMat -> GrpMat
- Centre(G) : GrpPC -> GrpPC
- Centre(G) : GrpPerm -> GrpPerm
- Centre(R) : Rng -> Rng
- CentreDensity(L) : Lat -> FldReElt
- CentreOfEndomorphismRing(G) : GrpMat -> AlgMat
- CentreOfEndomorphismRing(L) : Lat -> AlgMat
- CentreOfEndomorphismRing(M) : ModRng -> AlgMat
- CentrePolynomials(G) : GrpLie ->
- DimensionOfCentreOfEndomorphismRing(G) : GrpMat -> RngIntElt
- DimensionOfCentreOfEndomorphismRing(L) : Lat -> RngIntElt
- GrpLie_Centre (Example H110E9)
Centred
- CentredAffinePatch(S, p) : Sch, Pt -> Sch, MapSch
CentredAffinePatch
- CentredAffinePatch(S, p) : Sch, Pt -> Sch, MapSch
CentreDensity
- CenterDensity(L) : Lat -> FldReElt
- CentreDensity(L) : Lat -> FldReElt
CentreOfEndomorphismAlgebra
- CentreOfEndomorphismAlgebra(G) : GrpMat -> AlgMat
- CentreOfEndomorphismRing(G) : GrpMat -> AlgMat
CentreOfEndomorphismRing
- CentreOfEndomorphismAlgebra(G) : GrpMat -> AlgMat
- CentreOfEndomorphismRing(G) : GrpMat -> AlgMat
- CentreOfEndomorphismRing(L) : Lat -> AlgMat
- CentreOfEndomorphismRing(M) : ModRng -> AlgMat
CentrePolynomials
- CenterPolynomials(G) : GrpLie ->
- CentrePolynomials(G) : GrpLie ->
Centroid
- Centroid(A) : Alg -> AlgMat
- Centroid(T) : TenSpcElt -> AlgMat
- TensorOverCentroid(T) : TenSpcElt -> TenSpcElt, Hmtp
- Multilinear_Centroid (Example H62E76)
CentroidUnipotent
- Multilinear_CentroidUnipotent (Example H62E78)
Certificate
- IsPrimeCertificate(cert) : List -> BoolElt
- PrimalityCertificate(n) : RngIntElt -> List
cfe
- FldFunG_cfe (Example H45E10)
CFENew
- CFENew(L) : LSer -> FldReElt
- CheckFunctionalEquation(L) : LSer -> FldComElt
cfgrowth
- L-series with Unusual Coefficient Growth (L-FUNCTIONS)
cflater
- Specifying the Coefficients Later (L-FUNCTIONS)
CFP
- CFP(u: parameters) : GrpBrdElt -> Tup
- CanonicalFactorRepresentation(u: parameters) : GrpBrdElt -> Tup
- GetForceCFP(B) : GrpBrd -> BoolElt
- Random(B, r, s, m, n: parameters) : GrpBrd, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> GrpBrdElt
- SetForceCFP(~B, b) : GrpBrd, BoolElt ->
cfp
- Representation Used for Group Operations (BRAID GROUPS)
CGraph
- GrpFPInt_CGraph (Example H77E23)
CGroup
- CosetGeometryFromCGroup(G) : GrpPerm -> CosetGeom
- CosetGeometryToCGroup(D) : CosetGeom -> GrpPerm
- IsCGroup(G) : GrpPerm -> BoolElt
- IsStringCGroup(G) : GrpPerm -> BoolElt
cgroups
- C-Groups (INCIDENCE GEOMETRY)
cgrouptocosetgeometry
- IncidenceGeometry_cgrouptocosetgeometry (Example H151E14)
- IncidenceGeometry_cgrouptocosetgeometry (Example H151E15)
Chabauds
- CanteautChabaudsAttack(C, v, e, p, l) : Code, ModTupFldElt, RngIntElt, RngIntElt,RngIntElt -> ModTupFldElt
Chabauty
- Chabauty(MWmap, Ecov) : Map, MapSch -> SetEnum, RngIntElt
- Chabauty(MWmap, Ecov, p) : Map, MapSch, RngIntElt -> RngIntElt, SetEnum, RngIntElt, Tup
- Chabauty(P, p: Precision) : JacHypPt, RngIntElt -> SetIndx
- Chabauty(P : ptC) : JacHypPt -> SetIndx
chabauty
- Chabauty's Method (HYPERELLIPTIC CURVES)
- Elliptic Curve Chabauty (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
chabauty-method
- Chabauty's Method (HYPERELLIPTIC CURVES)
chabauty-method1
- CrvHyp_chabauty-method1 (Example H134E35)
chabauty-method2
- CrvHyp_chabauty-method2 (Example H134E36)
chabauty-method3
- CrvHyp_chabauty-method3 (Example H134E38)
chabauty-method4
- CrvHyp_chabauty-method4 (Example H134E37)
Chabauty0
- Chabauty0(J) : JacHyp -> SetIndx
Chain
- AllCompactChainMaps(PR) : Rec -> Rec
- BasicStabilizerChain(G) : GrpMat -> [GrpMat]
- BasicStabilizerChain(G) : GrpPerm -> [GrpPerm]
- ChainComplex(X, A) : SmpCpx, Rng -> ModCpx
- ChainMap(Q, C, D, n) : SeqEnum, ModCpx, ModCpx, RngIntElt -> MapChn
- CohomologyElementToChainMap(P, d, n) : ModCpx ,RngIntElt, RngIntElt -> MapChn
- CohomologyElementToCompactChainMap(PR, d, n): Rec, RngIntElt, RngIntElt -> ModMatFldElt
- CohomologyGeneratorToChainMap(P,Q,C,n) : ModCpx, ModCpx, Rec, RngIntElt -> MapChn
- CohomologyGeneratorToChainMap(P, C, n) : ModCpx, Tup, RngIntElt -> MapChn
- Homology(C) : ModCpx -> SeqEnum
- IsChainMap(L, C, D, n) : List, ModCpx, ModCpx, RngIntElt -> BoolElt
- IsChainMap(f) : MapChn -> BoolElt
- IsProperChainMap(f) : MapChn -> BoolElt
- RestrictionChainMap(P1,P2) : Rec, Rec -> MapChn
- Z4CodeFromBinaryChain(C1, C2) : Code, Code -> Code
- ZeroChainMap(C, D) : ModCpx, ModCpx -> MapChn

V2.28, 13 July 2023

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