Documentation

CheckPolynomial
- CheckPolynomial(C) : Code -> RngUPolElt
CheckWeilPolynomial
- CheckWeilPolynomial(f, q, h20) : RngUPolElt, RngIntElt, RngIntElt -> BoolElt
Chern
- ChernNumber(S,n) : Srfc, RngIntElt -> RngIntElt
- FirstChernClassOfDesingularization(S) : Srfc -> RngIntElt[RngMPolElt]
- MinimalChernNumber(S,n) : Srfc, RngIntElt -> RngIntElt
ChernNumber
- ChernNumber(S,n) : Srfc, RngIntElt -> RngIntElt
Chev
- CSTtoChev(t,r,q,X,Y) : MonStgElt, RngIntElt, RngIntElt, SeqEnum, SeqEnum -> Map
Chevalley
- AdjointChevalleyGroup(t,r,q) : MonStgElt,RngIntElt,RngIntElt -> GrpMat
- ChevalleyBasis(L) : AlgLie -> [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ]
- ChevalleyBasis(L, H, R) : AlgLie, AlgLie, RootDtm -> [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ]
- ChevalleyForm(ρ,A) : Map[GrpLie,GrpMat], GrpMatElt -> SeqEnum, FldFinElt
- ChevalleyGroup(X, n, K: parameters) : MonStgElt, RngIntElt, FldFin -> GrpMat
- ChevalleyOrderPolynomial(type, n: parameters) : MonStgElt, RngIntElt -> RngUPolElt
- FactoredChevalleyGroupOrder(type, n, F: parameters) : MonStgElt, RngIntElt, FldFin -> RngIntEltFact
- IsChevalleyBasis(L, R, x, y, h) : AlgLie, RootDtm, [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ] -> BoolElt, [ Tup ]
chevalley
- Chevalley Groups (GROUPS OF LIE TYPE)
ChevalleyBasis
- ChevalleyBasis(L) : AlgLie -> [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ]
- ChevalleyBasis(L, H, R) : AlgLie, AlgLie, RootDtm -> [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ]
- AlgLie_ChevalleyBasis (Example H107E34)
ChevalleyBasisSmallChar
- AlgLie_ChevalleyBasisSmallChar (Example H107E35)
ChevalleyForm
- ChevalleyForm(ρ,A) : Map[GrpLie,GrpMat], GrpMatElt -> SeqEnum, FldFinElt
ChevalleyGroup
- ChevalleyGroup(X, n, K: parameters) : MonStgElt, RngIntElt, FldFin -> GrpMat
ChevalleyGroupOrder
- ChevalleyGroupOrder(type, n, F: parameters) : MonStgElt, RngIntElt, FldFin -> RngIntEltFact
- FactoredChevalleyGroupOrder(type, n, F: parameters) : MonStgElt, RngIntElt, FldFin -> RngIntEltFact
ChevalleyOrderPolynomial
- ChevalleyOrderPolynomial(type, n: parameters) : MonStgElt, RngIntElt -> RngUPolElt
ChevForm
- GrpLie_ChevForm (Example H110E28)
chevorder
- ChevalleyGroupOrder(type, n, F: parameters) : MonStgElt, RngIntElt, FldFin -> RngIntEltFact
- The Orders of the Chevalley Groups (ALMOST SIMPLE GROUPS)
chi
- chi(n) : GrpDrchElt, RngIntElt -> RngElt
- Evaluate(chi,n) : GrpDrchElt, RngIntElt -> RngElt
Chief
- ChiefFactors(G) : GrpMat -> [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ChiefFactors(G) : GrpPerm -> [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ChiefSeries(G) : GrpAb -> [GrpAb]
- ChiefSeries(G) : GrpMat -> [ GrpMat ], [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ChiefSeries(G) : GrpPC -> [GrpPC]
- ChiefSeries(G) : GrpPerm -> [ GrpPerm ], [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
ChiefFactors
- ChiefFactors(G) : GrpMat -> [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ChiefFactors(G) : GrpPerm -> [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
ChiefSeries
- CompositionSeries(G) : GrpAb -> [GrpAb]
- ChiefSeries(G) : GrpAb -> [GrpAb]
- ChiefSeries(G) : GrpMat -> [ GrpMat ], [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ChiefSeries(G) : GrpPC -> [GrpPC]
- ChiefSeries(G) : GrpPerm -> [ GrpPerm ], [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
Chien
- ChienChoyCode(P, G, n, S) : RngUPolElt, RngUPolElt, RngIntElt, FldFin -> Code
ChienChoyCode
- ChienChoyCode(P, G, n, S) : RngUPolElt, RngUPolElt, RngIntElt, FldFin -> Code
Children
- ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert ->
- ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert ->
Chinese
- ChineseRemainderTheorem(I1, L1, e1, L2) : RngOrdIdl, [RngIntElt], RngOrdElt, [RngIntElt] -> RngOrdElt
- CRT(I1, L1, e1, L2) : RngOrdIdl, [RngIntElt], RngOrdElt, [RngIntElt] -> RngOrdElt
- ChineseRemainderTheorem(I1, I2, e1, e2) : RngFunOrdIdl, RngFunOrdIdl, RngFunOrdElt, RngFunOrdElt -> RngFunOrdElt
- ChineseRemainderTheorem(I, J, a, b) : RngInt, RngInt, RngIntElt, RngIntElt -> RngIntElt
- ChineseRemainderTheorem(I1, I2, e1, e2) : RngOrdIdl, RngOrdIdl, RngOrdElt, RngOrdElt -> RngOrdElt
- ChineseRemainderTheorem(S, Z, V): [PlcFunElt], [FldFunGElt], [RngIntElt] -> FldFunElt
- ChineseRemainderTheorem(X, N) : [RngIntElt], [RngIntElt] -> RngIntElt
- ChineseRemainderTheorem(X, M) : [RngUPolElt], [RngUPolElt] -> RngUPolElt
ChineseRemainderTheorem
- ChineseRemainderTheorem(I1, L1, e1, L2) : RngOrdIdl, [RngIntElt], RngOrdElt, [RngIntElt] -> RngOrdElt
- CRT(I1, L1, e1, L2) : RngOrdIdl, [RngIntElt], RngOrdElt, [RngIntElt] -> RngOrdElt
- ChineseRemainderTheorem(I1, I2, e1, e2) : RngFunOrdIdl, RngFunOrdIdl, RngFunOrdElt, RngFunOrdElt -> RngFunOrdElt
- ChineseRemainderTheorem(I, J, a, b) : RngInt, RngInt, RngIntElt, RngIntElt -> RngIntElt
- ChineseRemainderTheorem(I1, I2, e1, e2) : RngOrdIdl, RngOrdIdl, RngOrdElt, RngOrdElt -> RngOrdElt
- ChineseRemainderTheorem(S, Z, V): [PlcFunElt], [FldFunGElt], [RngIntElt] -> FldFunElt
- ChineseRemainderTheorem(X, N) : [RngIntElt], [RngIntElt] -> RngIntElt
- ChineseRemainderTheorem(X, M) : [RngUPolElt], [RngUPolElt] -> RngUPolElt
Cholesky
- Cholesky(L, K) : Lat, FldRe -> AlgMatElt
- Orthonormalize(L, K) : Lat, FldRe -> AlgMatElt
- Orthonormalize(M, K) : MtrxSpcElt, Fld -> AlgMatElt
Choy
- ChienChoyCode(P, G, n, S) : RngUPolElt, RngUPolElt, RngIntElt, FldFin -> Code
Chromatic
- ChromaticIndex(G) : GrphUnd -> RngIntElt
- ChromaticNumber(G) : GrphUnd -> RngIntElt
- ChromaticPolynomial(G) : GrphUnd -> RngUPolElt
ChromaticIndex
- ChromaticIndex(G) : GrphUnd -> RngIntElt
ChromaticNumber
- ChromaticNumber(G) : GrphUnd -> RngIntElt
- Graph_ChromaticNumber (Example H158E15)
ChromaticPolynomial
- ChromaticPolynomial(G) : GrphUnd -> RngUPolElt
cInvariants
- cInvariants(E) : CrvEll -> [ RngElt ]
- cInvariants(model) : ModelG1 -> [ RngElt ]
Circle
- HasAllRootsOnUnitCircle(f) : RngUPolElt -> BoolElt
- IsometricCircle(g) : GrpPSL2Elt -> RngElt, RngElt
- IsometricCircle(g,D) : GrpPSL2Elt, SpcHyd -> RngElt, RngElt
circuit
- Connectedness (GRAPHS)
- Distances, Paths and Circuits in a Graph (GRAPHS)
- Distances, Paths and Circuits in a Non-Weighted Graph (GRAPHS)
- Distances, Paths and Circuits in a Possibly Weighted Graph (GRAPHS)

V2.28, 13 July 2023

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