Documentation

CartanSubalgebra
- CartanSubalgebra(L) : AlgLie -> AlgLie
- AlgLie_CartanSubalgebra (Example H107E39)
Cartesian
- The Cartesian Product Constructors (SETS)
- CartesianPower(R, k) : Str, RngIntElt -> SetCart
- CartesianProduct(G, H) : GrphDir, GrphDir -> GrphDir
- CartesianProduct(R, S) : Str, ..., Str -> SetCart
- CartesianProduct(L) : [Str] -> SetCart
cartesian
- TUPLES AND CARTESIAN PRODUCTS
Cartesian-product
- The Cartesian Product Constructors (SETS)
CartesianPower
- CartesianPower(R, k) : Str, RngIntElt -> SetCart
CartesianProduct
- CartesianProduct(G, H) : GrphDir, GrphDir -> GrphDir
- CartesianProduct(R, S) : Str, ..., Str -> SetCart
- CartesianProduct(L) : [Str] -> SetCart
- Tuple_CartesianProduct (Example H12E1)
Cartier
- Cartier(a) : DiffCrvElt -> DiffCrvElt
- Cartier(b) : DiffFunElt -> DiffFunElt
- Cartier(D) : DivTorElt -> SeqEnum[TorLatElt]
- CartierRepresentation(C) : Crv -> AlgMatElt, SeqEnum[DiffCrvElt]
- CartierRepresentation(F) : FldFunG -> AlgMatElt, SeqEnum[DiffFunElt]
- CartierToWeilMap(X) : TorVar -> Map
- IsCartier(D) : DivSchElt -> BoolElt
- IsCartier(D) : DivTorElt -> BoolElt
- IsLinearlyEquivalentToCartier(D) : DivTorElt -> BoolElt, DivTorElt
CartierRepresentation
- CartierRepresentation(C) : Crv -> AlgMatElt, SeqEnum[DiffCrvElt]
- CartierRepresentation(F) : FldFunG -> AlgMatElt, SeqEnum[DiffFunElt]
CartierToWeilMap
- CartierToWeilMap(X) : TorVar -> Map
Case
- Corank2Case(f) : RngMPol -> BoolElt, RngMPolElt, MonStgElt, Map
- Corank3Case(f) : RngMPol -> BoolElt, RngMPolElt, MonStgElt, Map
case
- The Case Expression (STATEMENTS AND EXPRESSIONS)
- The Case Statement (STATEMENTS AND EXPRESSIONS)
- case< expr | expr_{left, 1} : expr_((right), 1), ..., expr_((left), n) : expr_((right), n), default : expr_def> : ->
- case expr : when expr_i : statements end case : ->
- State_case (Example H1E12)
case-expression
- The Case Expression (STATEMENTS AND EXPRESSIONS)
case-statement
- The Case Statement (STATEMENTS AND EXPRESSIONS)
Casimir
- CasimirValue(R, w) : RootDtm, ModTupRngElt -> FldRatElt
CasimirValue
- CasimirValue(R, w) : RootDtm, ModTupRngElt -> FldRatElt
Cassels
- CasselsTatePairing(C, D) : Crv, CrvHyp -> RngIntElt
- CasselsTatePairing(C, D) : CrvHyp, CrvHyp -> RngIntElt
- DescentMaps(phi) : Map -> Map, Map
cassels
- The Cassels-Tate Pairing (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
cassels-tate
- The Cassels-Tate Pairing (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
cassels-tate-example
- CrvEllQNF_cassels-tate-example (Example H130E34)
CasselsMap
- CasselsMap(phi) : Map -> Map, Map
- DescentMaps(phi) : Map -> Map, Map
CasselsTatePairing
- CasselsTatePairing(C, D) : Crv, CrvHyp -> RngIntElt
- CasselsTatePairing(C, D) : CrvHyp, CrvHyp -> RngIntElt
cat
- C1 cat C2 : Code, Code -> Code
- C1 cat C2 : Code,Code -> Code
- C1 cat C2 : CodeAdd, CodeAdd -> CodeAdd
- S cat T : List, List -> List
- s cat t : MonStgElt, MonStgElt -> MonStgElt
- S cat T : SeqEnum, SeqEnum -> SeqEnum
cat:=
- S cat:= T : List, List ->
- s cat:= t : MonStgElt, MonStgElt -> MonStgElt
- S cat:= T : SeqEnum, SeqEnum ->
cata
- Catalogue of Subcanonical Curves (HILBERT SERIES OF POLARISED VARIETIES)
Catalan
- Catalan(R) : FldRe -> FldReElt
- Catalan(n) : RngIntElt -> RngIntElt
catching
- Catching Errors (STATEMENTS AND EXPRESSIONS)
Categorical
- Categorical Operations (MULTILINEAR ALGEBRA)
- Categorical Operations on Tensor Spaces (MULTILINEAR ALGEBRA)
- Categorical Operations on Tensors (MULTILINEAR ALGEBRA)
Categorical-operations
- Categorical Operations (MULTILINEAR ALGEBRA)
Categorical-operations-on-tensor-spaces
- Categorical Operations on Tensor Spaces (MULTILINEAR ALGEBRA)
Categorical-operations-on-tensors
- Categorical Operations on Tensors (MULTILINEAR ALGEBRA)
Categories
- Categories and Parent (BRANDT MODULES)
- ListCategories() : ->
- ModAbVar_Categories (Example H145E1)
categories
- Categories (HILBERT MODULAR FORMS)
- Categories (MODULAR ABELIAN VARIETIES)
- Categories (MODULAR FORMS OVER IMAGINARY QUADRATIC FIELDS)
- Categories (MODULAR FORMS)
- Categories (MODULAR SYMBOLS)
- Categories (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Category (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))
- Constructing Tensor Categories (MULTILINEAR ALGEBRA)
- Operations on Tensor Categories (MULTILINEAR ALGEBRA)

V2.28, 13 July 2023

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