Documentation

canonical
- Canonical Forms (MATRICES)
- Canonical Forms (MATRIX ALGEBRAS)
- Canonical Forms over Euclidean Domains (MATRICES)
- Canonical Forms over Fields (MATRICES)
- Canonical Forms over General Rings (MATRICES)
- Log Canonical Thresholds (ALGEBRAIC CURVES)
- Mixed Canonical Form and Lattice Operations (BRAID GROUPS)
- Ordering of Permutation Groups (PERMUTATION GROUPS)
canonical-euclidean
- Canonical Forms over Euclidean Domains (MATRICES)
canonical-field
- Canonical Forms over Fields (MATRICES)
canonical-form
- Canonical Forms (MATRIX ALGEBRAS)
canonical-gens
- Ordering of Permutation Groups (PERMUTATION GROUPS)
Canonical-Labeling
- Canonical Labelling (FINITE SOLUBLE GROUPS)
canonical-map
- Crv_canonical-map (Example H121E36)
canonical-schemes-and-curves
- HypGeomMot_canonical-schemes-and-curves (Example H135E4)
canonical_divisor
- Crv_canonical_divisor (Example H121E33)
CanonicalBasis
- CanonicalBasis(V) : ModAlg -> SeqEnum
CanonicalClass
- CanonicalClass(g) : GrphRes -> SeqEnum
- CanonicalClass(X) : TorVar -> DivTorElt
CanonicalCoordinateIdeal
- CanonicalCoordinateIdeal(S) : Srfc -> RngMPol
CanonicalCurve
- CanonicalCurve(H) : HypGeomData -> Crv
CanonicalDissidentPoints
- CanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
CanonicalDivisor
- CanonicalDivisor(C) : Crv -> DivCrvElt
- CanonicalDivisor(F) : FldFunG -> DivFunElt
- CanonicalDivisor(X) : Sch -> DivSchElt
- CanonicalDivisor(X) : TorVar -> DivTorElt
CanonicalElement
- CanonicalElement (S, v) : SuRng, FldRatElt -> SuElement
CanonicalElements
- CanonicalElements(U, w) : AlgQUE, SeqEnum -> SeqEnum
CanonicalFactorRepresentation
- CFP(u: parameters) : GrpBrdElt -> Tup
- CanonicalFactorRepresentation(u: parameters) : GrpBrdElt -> Tup
CanonicalForms
- AlgMat_CanonicalForms (Example H90E8)
- Mat_CanonicalForms (Example H27E9)
CanonicalGenerators
- CanonicalGenerators(G) : GrpPerm -> SeqEnum[GrpPermElt], GrpPermElt
- GrpPerm_CanonicalGenerators (Example H64E45)
CanonicalGraph
- CanonicalGraph(G) : Grph -> Grph
CanonicalHeight
- CanonicalHeight(D) : OMDiv -> RngIntElt
- Height(D) : OMDiv -> RngIntElt
- Height(P: parameters) : JacHypPt -> FldReElt
- Height(P: parameters) : PtEll -> NFldComElt
CanonicalImage
- CanonicalImage(C, phi) : Crv, MapSch -> Crv, BoolElt
CanonicalIntersection
- CanonicalIntersection(dsd,i) : DesingData,RngIntElt -> RngIntElt
- CanonicalIntersection(S,D) : Srfc, DivSchElt -> RngIntElt
CanonicalInvariant
- CanonicalInvariant(G) : GrpPerm -> SeqEnum[SeqEnum], Seqenum
CanonicalInvolution
- AtkinLehnerInvolution(X,N) : CrvMod, RngIntElt -> MapSch
- CanonicalInvolution(X) : CrvMod -> MapSch
Canonicalisation
- Canonicalisation(F) : TorFan -> TorFan
- Canonicalisation(X) : TorVar -> TorVar, TorMap
CanonicalLength
- CanonicalLength(u: parameters) : GrpBrdElt -> RngIntElt
CanonicalLinearSystem
- AdjointLinearSystem(C) : Crv -> LinearSys
- Adjoints(C,d) : Crv, RngIntElt -> LinearSys
- CanonicalLinearSystem(C) : Crv -> LinearSys
CanonicalLinearSystemFromIdeal
- CanonicalLinearSystemFromIdeal(I, d) : RngMPol, RngIntElt -> LinearSys
CanonicalMap
- CanonicalMap(C) : Crv -> MapSch
CanonicalModularPolynomial
- CanonicalModularPolynomial(N) : RngIntElt -> RngMPolElt
CanonicalScheme
- CanonicalScheme(H) : HypGeomData -> Sch
CanonicalSheaf
- CanonicalSheaf(X) : Sch -> ShfCoh
CanonicalWeightedModel
- CanonicalWeightedModel(S) : Srfc -> Map, BoolElt
- MinimalModelGeneralType(S) : Srfc -> Map, BoolElt
CanRedoEnumeration
- CanRedoEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
CanSignNormalize
- CanSignNormalize(F) : RngUPolTwstElt -> BoolElt, RngUPolTwstElt, RngElt
Canteaut
- CanteautChabaudsAttack(C, v, e, p, l) : Code, ModTupFldElt, RngIntElt, RngIntElt,RngIntElt -> ModTupFldElt
CanteautChabaudsAttack
- CanteautChabaudsAttack(C, v, e, p, l) : Code, ModTupFldElt, RngIntElt, RngIntElt,RngIntElt -> ModTupFldElt
Cap
- BuildHomomorphismFromGradedCap(A, B, phi) : AlgBas, AlgBas, ModMatFldElt -> ModMatFldElt
- GradedCapHomomorphism(A) : AlgBas -> ModMatFldElt
- GradedCapHomomorphism(A, B, mu) : AlgBas, AlgBas, ModMatFldElt -> ModMatFldElt
Capacitated
- IsCapacitated(E) : GrphEdgeSet -> BoolElt
- IsEdgeCapacitated(G) : GrphMult -> BoolElt
Capacities
- AssignCapacities(~G, D) : GrphMult, [RngIntElt] ->
- AssignWeights(~G, D) : GrphMult, [RngElt] ->
- AssignEdgeLabels(~G, D) : GrphMult, SeqEnum ->
- AssignLabels(~G, S, D) : GrphMult, [GrphEdge], SeqEnum ->
- DeleteEdgeLabels(~G) : GrphMult ->
- DeleteLabels(~G, S) : GrphMult, [GrphEdge] ->
- EdgeLabels(G) : GrphMult -> SeqEnum
- Labels(E) : GrphEdgeSet -> SeqEnum
- Labels(S) : [GrphEdge] -> SeqEnum
Capacity
- AssignCapacity(~G, e, c) : GrphMult, GrphEdge, RngIntElt ->
- AssignWeight(~G, e, w) : GrphMult, GrphEdge, RngElt ->
- AssignLabel(~G, e, l) : GrphMult, GrphEdge, . ->
- Capacity(e) : GrphEdge -> RngIntElt
- DeleteLabel(~G, e) : GrphMult, GrphEdge ->
car
- car< R₁, ..., R_k > : Str, ..., Str -> SetCart
Card-Best-Comparison
- CodeFld_Card-Best-Comparison (Example H161E38)
Cardinality
- Cardinality(N) : Nfd -> RngIntElt
cardinality
- Bounds on the Cardinality of a Largest Code (LINEAR CODES OVER FINITE FIELDS)

V2.28, 13 July 2023

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