- div-arith
- div-create
- div-create-e
- div-create-s
- div-op-s
- div-other
- div-other-props
- div-rr-space
- div:=
- div_diff
- div_maps
- Divide
- DivideOutIntegers
- Divisible
- IsDivisible(D) : DivSchElt -> BoolElt, RngIntElt
- IsDivisibleBy(a, b) : FldFunElt, FldFunElt -> BoolElt, FldFunElt
- IsDivisibleBy(P, n) : JacHypPt, RngIntElt -> BoolElt, JacHypPt
- IsDivisibleBy(P, n) : PtEll, RngIntElt -> BoolElt, PtEll
- IsDivisibleBy(n, d) : RngIntElt, RngIntElt -> BoolElt, RngIntElt
- IsDivisibleBy(a, b) : RngMPolElt, RngMPolElt -> BoolElt, RngMPolElt
- IsDivisibleBy(f, g) : RngUPolElt, RngUPolElt -> BoolElt, RngUPolElt
- IsExactlyDivisible(x, y) : RngPadElt, RngPadElt -> BoolElt, RngPadElt
- Division
- DivisionPoints(P, n) : PtEll, RngIntElt -> [ PtEll ]
- DivisionPolynomial(E, n) : CrvEll, RngIntElt -> RngUPolElt, RngUPolElt, RngUPolElt
- EuclideanLeftDivision(D, N) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt,RngDiffOpElt
- EuclideanRightDivision(N, D) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt,RngDiffOpElt
- IsDivisionRing(R) : Rng -> BoolElt
- TrialDivision(n) : RngIntElt -> RngIntEltFact, [ RngIntElt ]
- TrialDivision(n, B) : RngQuadElt, RngIntElt -> SeqEnum, SeqEnum, Tup
- RngLoc_Division (Example H48E12)
- division
- division-points
- DivisionPoints
- DivisionPolynomial
- Divisor
- Divisor(p) : PlcCrvElt -> DivCrvElt
- Div ! p : DivCrv, PlcCrvElt -> DivCrvElt
- Div ! a : DivFun, RngElt -> DivFunElt
- Div ! I : DivFun, RngFunOrdIdl -> DivFunElt
- BlowUpDivisor(S, dsd, i) : Srfc, DesingData, RngIntElt -> Crv, Sch, MapSch
- BlowUpDivisorAllPatches(dsd, i) : DesingData, RngIntElt -> List, RngIntElt
- CanonicalDivisor(C) : Crv -> DivCrvElt
- CanonicalDivisor(F) : FldFunG -> DivFunElt
- CanonicalDivisor(X) : Sch -> DivSchElt
- CanonicalDivisor(X) : TorVar -> DivTorElt
- ComplementaryDivisor(D,p) : DivCrvElt,Pt -> DivCrvElt
- ComplementaryDivisor(D) : DivFunElt -> DivFunElt
- Denominator(D) : DivFunElt -> DivFunElt
- DifferentDivisor(F) : FldFunG -> DivFunElt
- DiscriminantDivisor(m, U) : DivFunElt, GrpAb -> DivFunElt
- DiscriminantDivisor(A) : FldFunAb -> DivFunElt
- Divisor(C) : Code -> DivCrvElt
- Divisor(C, I) : Crv, RngMPol -> DivCrvElt
- Divisor(C, X) : Crv, Sch -> DivCrvElt
- Divisor(C, p, q) : Crv,Pt,Pt -> DivCrvElt
- Divisor(a) : DiffCrvElt -> DivCrvElt
- Divisor(d) : DiffCrvElt -> DivCrvElt
- Divisor(d) : DiffFunElt -> DivFunElt
- Divisor(D, S) : DivCrv, SeqEnum -> DivCrvElt
- Divisor(G,i) : DivTor,RngIntElt -> DivTorElt
- Divisor(G,S) : DivTor,[RngIntElt] -> DivTorElt
- Divisor(a) : FldFunGElt -> DivFunElt
- Divisor(x) : FldNumElt -> DivNumElt
- Divisor(x) : FldNumElt -> DivNumElt
- Divisor(D) : OMDiv -> DivFunElt
- Divisor(P) : PlcFunElt -> DivFunElt
- Divisor(pl) : PlcNumElt -> DivNumElt
- Divisor(pl) : PlcNumElt -> DivNumElt
- Divisor(I) : RngFunOrdIdl -> DivFunElt
- Divisor(I, J) : RngFunOrdIdl, RngFunOrdIdl -> DivFunElt
- Divisor(I, J) : RngFunOrdIdl, RngFunOrdIdl -> DivFunElt
- Divisor(I) : RngOrdFracIdl -> DivNumElt
- Divisor(I) : RngOrdFracIdl -> DivNumElt
- Divisor(X,f) : Sch, FldFunFracSchElt -> DivSchElt
- Divisor(X,Q) : Sch, SeqEnum -> DivSchElt
- Divisor(S,V) : SeqEnum[RieSrfPt], SeqEnum[RngIntElt] -> DivRieSrfElt
- Divisor(X,i) : TorVar,RngIntElt -> DivTorElt
- Divisor(X,f) : TorVar,RngMPolElt -> DivTorElt
- Divisor(X,m) : TorVar,TorLatElt -> DivTorElt
- Divisor(X,S) : TorVar,[RngIntElt] -> DivTorElt
- DivisorClassGroup(C) : RngCox -> TorLat
- DivisorClassLattice(C) : RngCox -> TorLat
- DivisorClassLattice(X) : TorVar -> TorLat
- 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
- DivisorIdeal(I) : AlgFP -> AlgFr
- DivisorIdeal(I) : RngMPolRes -> RngMPol
- DivisorMap(D) : DivCrvElt -> MapSch
- DivisorMap(S) : ShfCoh -> Map,Sch
- DivisorOfDegreeOne(C) : Crv[FldFin] -> DivCrvElt
- DivisorOfDegreeOne(F) : FldFunG -> DivFunElt
- DivisorSigma(i, n) : RngIntElt, RngIntElt -> RngIntElt
- DivisorToSheaf(X, I) : Sch, RngMPol -> ShfCoh
- ExtendedGreatestCommonDivisor(x, y) : FldXPadElt, FldXPadElt -> FldXPadElt, FldXPadElt, FldXPadElt
- ExtendedGreatestCommonDivisor(m, n) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt, RngIntElt
- ExtendedGreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt, RngUPolElt
- ExtendedGreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt, RngValElt, RngValElt
- ExtendedGreatestCommonDivisor(s) : [RngIntElt] -> RngIntElt, [RngIntElt]
- ExtendedGreatestCommonLeftDivisor(A, B) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt, RngDiffOpElt, RngDiffOpElt
- ExtendedGreatestCommonRightDivisor(A, B) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt, RngDiffOpElt, RngDiffOpElt
- ExtremalRayContractionDivisor(X,i) : TorVar,RngIntElt -> DivTorElt
- FiniteSplit(D) : DivFunElt -> DivFunElt, DivFunElt
- FunctionFieldPlace(p) : PlcCrvElt -> PlcFunElt
- GCD(D1, D2) : DivCrvElt, DivCrvElt -> DivCrvElt
- GCD(D1, D2) : DivFunElt, DivFunElt -> DivFunElt
- GCD(x, y) : FldXPadElt, FldXPadElt -> FldXPadElt
- GCD(D1, D2) : OMDiv, OMDiv -> OMDiv
- GCD(I, J) : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
- GreatestCommonDivisor(m, n) : RngIntElt, RngIntElt -> RngIntElt
- GreatestCommonDivisor(a, b) : RngIntResElt, RngIntResElt -> RngIntResElt
- GreatestCommonDivisor(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt
- GreatestCommonDivisor(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
- GreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
- GreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
- GreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt
- GreatestCommonDivisor(s) : [RngIntElt] -> RngIntElt
- GreatestCommonDivisor(Q) : [RngIntResElt] -> RngIntResElt
- GreatestCommonLeftDivisor(A, B) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
- GreatestCommonRightDivisor(A, B) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
- HyperplaneSectionDivisor(X) : Sch -> DivSchElt
- IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
- IsHypersurfaceDivisor(D) : DivCrvElt -> BoolElt, RngElt, RngIntElt
- IsZeroDivisor(a) : AlgGenElt -> BoolElt
- IsZeroDivisor(D) : DivSchElt -> BoolElt
- IsZeroDivisor(x) : RngElt -> BoolElt
- LeftGCD(u, v: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- LeftGCD(S: parameters) : Setq -> GrpBrdElt
- LinearSystemDivisorRestriction(S,B,ms) : Srfc, SeqEnum[RngMPolElt], SeqEnum[SeqEnum] -> SeqEnum
- LinearlyEquivalentDivisorWithNoSupportOn(D,S) : DivTorElt,[RngMPolElt] -> DivTorElt
- MultiplyDivisor(n, D , D0) : RngIntElt, DivCrvElt, DivCrvElt -> DivCrvElt
- NonSpecialDivisor(m): DivFunElt -> DivFunElt, RngIntElt
- Numerator(D) : DivFunElt -> DivFunElt
- Places(K) : FldNum -> PlcNum
- Places(K) : FldNum -> PlcNum
- PoleDivisor(a) : FldFunElt -> OMDiv
- PrincipalDivisor(C, f) : Crv, RngElt -> DivCrvElt
- PrincipalDivisorMap(F) : FldFunG -> Map
- RamificationDivisor(C) : Crv -> DivCrvElt
- RamificationDivisor(D) : DivCrvElt -> DivCrvElt
- RamificationDivisor(D) : DivFunElt -> DivFunElt
- RamificationDivisor(F) : FldFunG -> DivFunElt
- RamificationDivisor(m) : MapSch -> DivCrvElt
- RandomDivisor(X,d) : RieSrf, RngIntElt -> RieSrfDivElt
- ReferenceDivisor(F) : FldFun -> OMDiv
- RightGCD(u, v: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- RightGCD(S: parameters) : Setq -> GrpBrdElt
- RoundDownDivisor(D) : DivSchElt -> DivSchElt
- RoundUpDivisor(D) : DivSchElt -> DivSchElt
- SPrincipalDivisorMap(S) : SetEnum[PlcFunElt] -> Map
- SheafToDivisor(S) : ShfCoh -> DivSchElt
- ZeroDivisor(a) : FldFunElt -> OMDiv
- ZeroDivisor(X) : RieSrfElt -> DivRieSrfElt
- ZeroDivisor(X) : Sch -> DivSchElt
- ZeroDivisor(X) : TorVar -> DivTorElt
V2.28, 13 July 2023