Documentation

c
- Accessing the Key Data and Testing Equality (HILBERT SERIES OF POLARISED VARIETIES)
- Baskets of Singularities (HILBERT SERIES OF POLARISED VARIETIES)
- Creation of Curve Singularities (HILBERT SERIES OF POLARISED VARIETIES)
c-basket
- Baskets of Singularities (HILBERT SERIES OF POLARISED VARIETIES)
c-curve-sing
- Creation of Curve Singularities (HILBERT SERIES OF POLARISED VARIETIES)
C-key
- C
c-key
- c range
c-key-data
- Accessing the Key Data and Testing Equality (HILBERT SERIES OF POLARISED VARIETIES)
caching
- Caching Spaces of Modular Forms (HILBERT MODULAR FORMS)
- Class Group Map Caching (NUMBER FIELDS AND ORDERS)
Calabi
- CalabiYau(p1,p2,B) : RngIntElt,RngIntElt,GRBskt -> GRCY
CalabiYau
- CalabiYau(p1,p2,B) : RngIntElt,RngIntElt,GRBskt -> GRCY
Calculate
- CalculateCanonicalClass(~g) : GrphRes ->
- CalculateMultiplicities(~g) : GrphRes ->
- CalculateTransverseIntersections(~g) : GrphRes ->
CalculateCanonicalClass
- CalculateCanonicalClass(~g) : GrphRes ->
CalculateMultiplicities
- CalculateMultiplicities(~g) : GrphRes ->
CalculateTransverseIntersections
- CalculateTransverseIntersections(~g) : GrphRes ->
calculating
- Calculating with Representations (REPRESENTATIONS OF LIE GROUPS AND ALGEBRAS)
Calculus
- IndexCalculus(D1, D2, D0, np) : DivCrvElt, DivCrvElt, DivCrvElt, RngIntElt -> RngIntElt
- IndexCalculusMatrix(D1, D2, D0, n, rr) : DivCrvElt, DivCrvElt, DivCrvElt, RngIntElt, RngIntElt -> MtrxSprs, SeqEnum, SeqEnum, DivCrvElt, DivCrvElt, RngIntElt, RngIntElt
Calderbank
- CalderbankShorSteaneCode(C1, C2) : Code, Code -> CodeQuantum
- CSSCode(C1, C2) : Code, Code -> CodeQuantum
CalderbankShorSteaneCode
- CalderbankShorSteaneCode(C1, C2) : Code, Code -> CodeQuantum
- CSSCode(C1, C2) : Code, Code -> CodeQuantum
call
- Call by Value Evaluation (MAGMA SEMANTICS)
- Exploring the Call Graph (THE MAGMA PROFILER)
call-by-value
- Call by Value Evaluation (MAGMA SEMANTICS)
call-graph
- Exploring the Call Graph (THE MAGMA PROFILER)
calls
- Memory Usage (INPUT AND OUTPUT)
- System Calls (INPUT AND OUTPUT)
Cambridge
- CambridgeMatrix(t, K, n, Q) : RngIntElt, FldFin, RngIntElt, [ ] -> AlgMatElt
- AlgMat_Cambridge (Example H90E2)
CambridgeMatrix
- CambridgeMatrix(t, K, n, Q) : RngIntElt, FldFin, RngIntElt, [ ] -> AlgMatElt
Can
- CanChangeRing(A, R) : ModAbVar, Rng -> BoolElt, ModAbVar
- CanChangeRing(A, R) : Mtrx, Rng -> BoolElt, Mtrx
- CanChangeRing(f, R) : RngUPolXPadElt, Rng -> BoolElt, RngUPolXPadElt
- CanChangeUniverse(S, V) : SeqEnum, Str -> Bool, SeqEnum
- CanChangeUniverse(S, V) : SetEnum, Str -> Bool, SeqEnum
- CanContinueEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
- CanDetermineIsomorphism(A, B) : ModAbVar, ModAbVar -> BoolElt, BoolElt, MapModAbVar
- CanIdentifyGroup(o) : RngIntElt -> BoolElt
- CanNormalize(F) : RngUPolTwstElt -> BoolElt, RngUPolTwstElt, RngElt
- CanRedoEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
- CanSignNormalize(F) : RngUPolTwstElt -> BoolElt, RngUPolTwstElt, RngElt
canbas
- Elements of the Canonical Basis (QUANTUM GROUPS)
- The Canonical Basis (QUANTUM GROUPS)
CanBasMod
- AlgQEA_CanBasMod (Example H109E6)
Cancellation
- SmallCancellationConditions(G) : GrpFP -> RngIntElt, RnIntElt,FldRatElt)
cancellation
- Small Cancellation Conditions (FINITELY PRESENTED GROUPS)
CanChangeRing
- CanChangeRing(A, R) : ModAbVar, Rng -> BoolElt, ModAbVar
- CanChangeRing(A, R) : Mtrx, Rng -> BoolElt, Mtrx
- CanChangeRing(f, R) : RngUPolXPadElt, Rng -> BoolElt, RngUPolXPadElt
CanChangeUniverse
- CanChangeUniverse(S, V) : SeqEnum, Str -> Bool, SeqEnum
- CanChangeUniverse(S, V) : SetEnum, Str -> Bool, SeqEnum
CanContinueEnumeration
- CanContinueEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
CanDetermineIsomorphism
- CanDetermineIsomorphism(A, B) : ModAbVar, ModAbVar -> BoolElt, BoolElt, MapModAbVar
CanIdentifyGroup
- CanIdentifyGroup(o) : RngIntElt -> BoolElt
CanNormalize
- CanNormalize(F) : RngUPolTwstElt -> BoolElt, RngUPolTwstElt, RngElt
Canonical
- Canonical Labelling (FINITE SOLUBLE GROUPS)
- CalculateCanonicalClass(~g) : GrphRes ->
- CanonicalBasis(V) : ModAlg -> SeqEnum
- CanonicalClass(g) : GrphRes -> SeqEnum
- CanonicalClass(X) : TorVar -> DivTorElt
- CanonicalCoordinateIdeal(S) : Srfc -> RngMPol
- CanonicalCurve(H) : HypGeomData -> Crv
- CanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- CanonicalDivisor(C) : Crv -> DivCrvElt
- CanonicalDivisor(F) : FldFunG -> DivFunElt
- CanonicalDivisor(X) : Sch -> DivSchElt
- CanonicalDivisor(X) : TorVar -> DivTorElt
- CanonicalElement (S, v) : SuRng, FldRatElt -> SuElement
- CanonicalElements(U, w) : AlgQUE, SeqEnum -> SeqEnum
- CanonicalFactorRepresentation(u: parameters) : GrpBrdElt -> Tup
- CanonicalGenerators(G) : GrpPerm -> SeqEnum[GrpPermElt], GrpPermElt
- CanonicalGraph(G) : Grph -> Grph
- CanonicalImage(C, phi) : Crv, MapSch -> Crv, BoolElt
- CanonicalIntersection(dsd,i) : DesingData,RngIntElt -> RngIntElt
- CanonicalIntersection(S,D) : Srfc, DivSchElt -> RngIntElt
- CanonicalInvariant(G) : GrpPerm -> SeqEnum[SeqEnum], Seqenum
- CanonicalInvolution(X) : CrvMod -> MapSch
- CanonicalLength(u: parameters) : GrpBrdElt -> RngIntElt
- CanonicalLinearSystem(C) : Crv -> LinearSys
- CanonicalLinearSystemFromIdeal(I, d) : RngMPol, RngIntElt -> LinearSys
- CanonicalMap(C) : Crv -> MapSch
- CanonicalModularPolynomial(N) : RngIntElt -> RngMPolElt
- CanonicalScheme(H) : HypGeomData -> Sch
- CanonicalSheaf(X) : Sch -> ShfCoh
- DoubleCosetCanonical(G, H, g, K: parameters) : GrpPerm, GrpPerm, GrpPermElt, GrpPerm -> SeqEnum, SeqEnum
- ElementaryAbelianSeriesCanonical(G) : GrpMat -> [ GrpMat ]
- ElementaryAbelianSeriesCanonical(G) : GrpPC -> [GrpPC]
- ElementaryAbelianSeriesCanonical(G) : GrpPerm -> [ GrpPerm ]
- GenusAndCanonicalMap(C) : Crv -> RngIntElt, BoolElt, MapSch
- HadamardCanonicalForm(H : parameters) : AlgMatElt -> AlgMatElt, AlgMatElt, AlgMatElt
- Height(D) : OMDiv -> RngIntElt
- Height(P: parameters) : JacHypPt -> FldReElt
- Height(P: parameters) : PtEll -> NFldComElt
- IsCanonical(D) : DivCrvElt -> BoolElt, DiffCrvElt
- IsCanonical(D) : DivFunElt -> BoolElt, DiffFunElt
- IsCanonical(D) : DivFunElt -> BoolElt, DiffFunElt
- IsCanonical(D) : DivSchElt -> BoolElt
- IsCanonical(B) : GRBskt -> BoolElt
- IsCanonical(C) : GRCrvS -> BoolElt
- IsCanonical(p) : GRPtS -> BoolElt
- IsCanonical(C) : TorCon -> BoolElt
- IsCanonical(F) : TorFan -> BoolElt
- IsCanonical(X) : TorVar -> BoolElt
- IsCanonicalWithTwist(D) : DivSchElt -> BoolElt, RngIntElt
- LeftMixedCanonicalForm(u: parameters) : GrpBrdElt -> Tup, Tup
- LogCanonicalThreshold(C) : Sch -> FldRatElt, BoolElt
- LogCanonicalThreshold(C, P) : Sch, Pt -> FldRatElt
- LogCanonicalThresholdAtOrigin(C) : Sch -> FldRatElt
- LogCanonicalThresholdOverExtension(C) : Sch -> FldRatElt
- MinimalModelGeneralType(S) : Srfc -> Map, BoolElt
- PluriCanonicalBasis(S,m) : Srfc, RngIntElt -> SeqEnum
- PossibleCanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- PossibleSimpleCanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- RightMixedCanonicalForm(u: parameters) : GrpBrdElt -> Tup, Tup
- SimpleCanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- SuperSummitCanonicalLength(u: parameters) : GrpBrdElt -> RngIntElt

V2.28, 13 July 2023

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