Documentation

arithmetic-diff-op-ring-elts
- Arithmetic (DIFFERENTIAL RINGS)
arithmetic-diff-ring-elts
- Arithmetic (DIFFERENTIAL RINGS)
arithmetic-function
- Arithmetic Functions (RING OF INTEGERS)
arithmetic-progression
- The Arithmetic Progression Constructors (SEQUENCES)
- The Arithmetic Progression Constructors (SETS)
arithmetic_jacobian
- Arithmetic of Points (HYPERELLIPTIC CURVES)
Arithmetically
- IsArithmeticallyCohenMacaulay(S) : ShfCoh -> BoolElt
- IsCohenMacaulay(X) : Sch -> BoolElt
ArithmeticFuchsianGroups
- Arithmetic Fuchsian Groups (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ArithmeticGenus
- ArithmeticGenus(C) : Crv -> RngIntElt
- ArithmeticGenus(dsd,i) : DesingData,RngIntElt -> RngIntElt
- ArithmeticGenus(X) : Sch -> RngIntElt
- ArithmeticGenus(S) : Srfc -> RngIntElt
ArithmeticGenusOfDesingularization
- ArithmeticGenusOfDesingularization(S) : Srfc -> RngIntElt
ArithmeticGeometricMean
- AGM(x, y) : FldReElt, FldReElt -> FldReElt
- ArithmeticGeometricMean(x, y) : FldReElt, FldReElt -> FldReElt
- ArithmeticGeometricMean(x, y) : RngSerElt, RngSerElt -> RngSerElt
ArithmeticRadical
- ArithmeticRadical(O, p) : AlgAssVOrd[RngOrd], RngOrdIdl -> AlgAssVOrdIdl
ArithmeticTriangleGroup
- ArithmeticTriangleGroup(p,q,r) : RngIntElt, RngIntElt, RngIntElt -> GrpPSL2, Rng
ArithmeticVolume
- ArithmeticVolume(G) : GrpPSL2 -> FldRatElt
- ArithmeticVolume(P) : [SpcHydElt] -> FldReElt
armitage
- Lseries_armitage (Example H136E4)
Array
- AssociativeArray(): -> Assoc
- AssociativeArray(I): Str -> Assoc
- EnumerationCostArray(L) : Lat -> ModTupFldElt
- GammaArray(H) : HypGeomData -> SeqEnum
- IntersectionArray(G) : GrphUnd -> [RngIntElt]
Arrows
- Arrows(s) : GrphRes -> SeqEnum
- Arrows(C) : TenCat -> SeqEnum
Artin
- ArtinMap(A) : FldAb -> Map
- ArtinRepresentation(ch) : GrpDrchElt -> ArtRep
- ArtinRepresentation(H, t) : HypGeomData, RngQZElt -> ArtRep
- ArtinRepresentations(K) : FldNum -> SeqEnum
- ArtinSchreierExtension(c,a,b) : FldFin, FldFin, FldFin -> FldFun
- ArtinSchreierImage(e) : RngWittElt -> RngWittElt
- ArtinSchreierMap(W) : RngWitt -> Map
- ArtinSchreierReduction(u, P): FldFunGElt, PlcFunElt -> RngIntElt, FldFunElt
- ArtinTateFormula(f, q, h20) : RngUPolElt, RngIntElt, RngIntElt -> RngIntElt, RngIntElt
- IsInArtinSchreierRepresentation(K) : FldFun -> BoolElt, FldFunElt
artin-arith1
- ArtRep_artin-arith1 (Example H47E6)
artin-arith2
- ArtRep_artin-arith2 (Example H47E7)
artin-const
- ArtRep_artin-const (Example H47E1)
artin-decompose
- ArtRep_artin-decompose (Example H47E2)
artin-invariants
- ArtRep_artin-invariants (Example H47E4)
artin-minimize
- ArtRep_artin-minimize (Example H47E3)
artinetc
- Local Representations of Global Objects (LOCAL GALOIS REPRESENTATIONS)
ArtinMap
- ArtinMap(A) : FldAb -> Map
ArtinRepresentation
- ArtinRepresentation(ch) : GrpDrchElt -> ArtRep
- ArtinRepresentation(H, t) : HypGeomData, RngQZElt -> ArtRep
ArtinRepresentations
- ArtinRepresentations(K) : FldNum -> SeqEnum
ArtinSchreierExtension
- ArtinSchreierExtension(c,a,b) : FldFin, FldFin, FldFin -> FldFun
ArtinSchreierImage
- ArtinSchreierImage(e) : RngWittElt -> RngWittElt
ArtinSchreierMap
- ArtinSchreierMap(W) : RngWitt -> Map
ArtinSchreierReduction
- ArtinSchreierReduction(u, P): FldFunGElt, PlcFunElt -> RngIntElt, FldFunElt
ArtinTateFormula
- ArtinTateFormula(f, q, h20) : RngUPolElt, RngIntElt, RngIntElt -> RngIntElt, RngIntElt
artrep
- ARTIN REPRESENTATIONS
As
- Tensors As Multilinear Maps (MULTILINEAR ALGEBRA)
- AsCotensorSpace(T) : TenSpcElt -> TenSpc, Mtrx
- AsExtensionOf(O1, O2) : RngFunOrd, RngFunOrd -> RngFunOrd
- AsExtensionOf(O, P) : RngOrd, RngOrd -> RngOrd
- AsMatrices(T, s, t) : TenSpcElt, RngIntElt, RngIntElt -> SeqEnum
- AsPolynomial(v) : AlgClffElt ->
- AsTensor(S) : TenSpc -> TenSpcElt
- AsTensorSpace(T, i) : TenSpcElt, RngIntElt -> TenSpc, Mtrx
- GroupAlgebraAsStarAlgebra(R, G) : Rng, Grp -> AlgGrp
- IsSplitAsIdealAt(I, l) : RngOrdFracIdl, UserProgram -> BoolElt, UserProgram, [RngOrdIdl]
- ProjectiveSpace(k,n) : Fld,RngIntElt -> Prj
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
- RationalsAsNumberField() : -> FldNum
- RationalsAsNumberField() : -> FldNum
- SliceAsMatrices(T, grid, a, b) : TenSpcElt, [SetEnum], RngIntElt, RngIntElt -> SeqEnum
- UnitGroupAsSubgroup(O) : RngOrd -> GrpAb
as
- Tensor Spaces as Modules (MULTILINEAR ALGEBRA)
As-multilinear-maps
- Tensors As Multilinear Maps (MULTILINEAR ALGEBRA)
aschbacher
- Aschbacher Reduction (MATRIX GROUPS OVER FINITE FIELDS)
- Introduction (MATRIX GROUPS 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.