Documentation

divisor
- Arithmetic of Divisors (ALGEBRAIC CURVES)
- Arithmetic with Divisors in OM representation (ALGEBRAIC FUNCTION FIELDS)
- Creation of Divisors (ALGEBRAIC CURVES)
- Divisor Group (ALGEBRAIC CURVES)
- Divisors (RING OF INTEGERS)
- Functions related to Divisor Class Groups of Global Function Fields (ALGEBRAIC FUNCTION FIELDS)
- Other Operations on Divisors (ALGEBRAIC CURVES)
- Other Operations on Divisors in OM representation (ALGEBRAIC FUNCTION FIELDS)
- Predicates on Divisors in OM representation (ALGEBRAIC FUNCTION FIELDS)
divisor-arithmetic
- Arithmetic of Divisors (ALGEBRAIC CURVES)
divisor-class-group
- Functions related to Divisor Class Groups of Global Function Fields (ALGEBRAIC FUNCTION FIELDS)
divisor-class-group-example
- Crv_divisor-class-group-example (Example H124E35)
divisor-creation
- Creation of Divisors (ALGEBRAIC CURVES)
divisor-equations
- Crv_divisor-equations (Example H124E30)
divisor-group
- Div1 ne Div2 : DivCrv, DivCrv -> BoolElt
- Divisor Group (ALGEBRAIC CURVES)
divisor-other
- Other Operations on Divisors (ALGEBRAIC CURVES)
divisor1
- Crv_divisor1 (Example H124E31)
divisor2
- Crv_divisor2 (Example H124E32)
DivisorClassGroup
- DivisorClassGroup(C) : RngCox -> TorLat
DivisorClassLattice
- DivisorClassLattice(C) : RngCox -> TorLat
- DivisorClassLattice(X) : TorVar -> TorLat
DivisorGroup
- DivisorGroup(C) : Crv -> DivCrv
- DivisorGroup(D) : DivCrvElt -> DivCrv
- DivisorGroup(F) : FldFun -> DivFun
- DivisorGroup(F) : FldFun -> DivFun
- DivisorGroup(F) : FldFunG -> DivFun
- DivisorGroup(X) : Sch -> DivSch
- DivisorGroup(X) : TorVar -> DivTor
- Places(K) : FldNum -> PlcNum
- Places(K) : FldNum -> PlcNum
Divisorial
- IsDivisorialContraction(X,i) : TorVar,RngIntElt -> BoolElt
DivisorIdeal
- DivisorIdeal(I) : AlgFP -> AlgFr
- DivisorIdeal(I) : RngMPolRes -> RngMPol
DivisorMap
- DivisorMap(D) : DivCrvElt -> MapSch
- DivisorMap(S) : ShfCoh -> Map,Sch
DivisorOfDegreeOne
- DivisorOfDegreeOne(C) : Crv[FldFin] -> DivCrvElt
- DivisorOfDegreeOne(F) : FldFunG -> DivFunElt
Divisors
- Divisors (ALGEBRAIC FUNCTION FIELDS)
- Divisors(n) : RngIntElt -> [ RngIntElt ]
- Divisors(a) : RngOrdElt -> SeqEnum[RngOrdElt]
- Divisors(I) : RngOrdIdl -> [<RngOrdIdl, RngIntElt>]
- ElementaryDivisors(a) : AlgMatElt -> [RngElt]
- ElementaryDivisors(A, B) : Lat, Lat -> [ RngIntFracIdl ]
- ElementaryDivisors(A, B) : LatNF, LatNF -> [ RngOrdFracIdl ]
- ElementaryDivisors(M, N) : ModDed, ModDed -> SeqEnum
- ElementaryDivisors(A) : Mtrx -> [RngElt]
- ElementaryDivisors(A) : MtrxSprs -> [RngElt]
- ExceptionalDivisors(S) : Srfc -> List, List
- NegativePrimeDivisors(D) : DivSchElt -> SeqEnum
- NumberOfBlowUpDivisors(dsd) : DesingData -> RngIntElt
- NumberOfDivisors(n) : RngIntElt -> RngIntElt
- NumberOfSmoothDivisors(n, m, P) : RngIntElt, RngIntElt, SeqEnum[RngElt] -> RngElt
- PrimeBasis(n) : RngIntElt -> [RngIntElt]
- PrimeBasis(n) : RngIntElt -> [RngIntElt]
- SumOfDivisors(n) : RngIntElt -> RngIntElt
divisors
- Constructing Divisors in OM representation (ALGEBRAIC FUNCTION FIELDS)
- Divisors (ALGEBRAIC CURVES)
- Divisors (SCHEMES)
- Divisors in OM representation (ALGEBRAIC FUNCTION FIELDS)
- Divisors on Riemann Surfaces (RIEMANN SURFACES)
- Elementary Divisors (Smith Form) (SPARSE MATRICES)
- Invariant Divisors and Riemann-Roch Spaces (TORIC VARIETIES)
- Places and Divisors (NUMBER FIELDS AND ORDERS)
- Places and Divisors (NUMBER FIELDS)
- SUPERSINGULAR DIVISORS ON MODULAR CURVES
- FldFunG_divisors (Example H46E40)
divisors-class
- FldFunG_divisors-class (Example H46E43)
divisors-simple_rel
- FldFunG_divisors-simple_rel (Example H46E39)
DivisorSigma
- DivisorSigma(i, n) : RngIntElt, RngIntElt -> RngIntElt
DivisorToSheaf
- RiemannRochBasis(X, I) : Sch, RngMPol -> SeqEnum, RngMPolElt, ShfCoh
- DivisorToSheaf(X, I) : Sch, RngMPol -> ShfCoh
divs
- Split Divisors and Intersection Matrices (ALGEBRAIC SURFACES)
divs-cartier-ex
- Scheme_divs-cartier-ex (Example H122E76)
Dixmier
- DiscriminantFromDixmierOhnoInvariants(DO) : SeqEnum -> Any
- DixmierOhnoAlgebraicRelations(DOinv) : SeqEnum -> SeqEnum
- DixmierOhnoInvariants(C) : Crv -> SeqEnum, SeqEnum
- DixmierOhnoInvariantsEqual(DO1, DO2) : SeqEnum , SeqEnum -> BoolElt
- PlaneQuarticFromDixmierOhnoInvariants(DO) : SeqEnum -> Crv, SeqEnum

V2.29, 21 October 2025

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