Documentation

diff-cart
- FldFunG_diff-cart (Example H45E48)
diff-field-ext-exp-log
- RngDiff_diff-field-ext-exp-log (Example H118E27)
diff-field-ext-ext
- RngDiff_diff-field-ext-ext (Example H118E26)
diff-field-ext-operator
- RngDiff_diff-field-ext-operator (Example H118E25)
diff-field-purely-ramified-ext-ADF
- RngDiff_diff-field-purely-ramified-ext-ADF (Example H118E28)
diff-field-purely-ramified-ext-DLSR-1
- RngDiff_diff-field-purely-ramified-ext-DLSR-1 (Example H118E29)
diff-field-purely-ramified-ext-DLSR-2
- RngDiff_diff-field-purely-ramified-ext-DLSR-2 (Example H118E30)
diff-fun
- FldFunG_diff-fun (Example H45E46)
diff-ideal-quotient
- RngDiff_diff-ideal-quotient (Example H118E31)
diff-laur-ser-related-structures
- RngDiff_diff-laur-ser-related-structures (Example H118E6)
diff-laur-ser-ring-create
- RngDiff_diff-laur-ser-ring-create (Example H118E3)
diff-op-arithmetic
- RngDiff_diff-op-arithmetic (Example H118E39)
diff-op-coeff-terms
- RngDiff_diff-op-coeff-terms (Example H118E40)
diff-op-derivation-differential
- Derivation and Differential (DIFFERENTIAL RINGS)
diff-op-ring-purely-ramified-extension-DLSR
- RngDiff_diff-op-ring-purely-ramified-extension-DLSR (Example H118E47)
diff-op-ring_booleans
- RngDiff_diff-op-ring_booleans (Example H118E36)
diff-op-ring_booleans-LSR
- RngDiff_diff-op-ring_booleans-LSR (Example H118E37)
diff-op-ring_related_structures
- RngDiff_diff-op-ring_related_structures (Example H118E35)
diff-op-rings-relative-precision
- RngDiff_diff-op-rings-relative-precision (Example H118E38)
diff-ring-change-derivation
- RngDiff_diff-ring-change-derivation (Example H118E18)
diff-ring-change-differential
- RngDiff_diff-ring-change-differential (Example H118E19)
diff-ring-completion-create
- RngDiff_diff-ring-completion-create (Example H118E22)
diff-ring-completion-elliptic
- RngDiff_diff-ring-completion-elliptic (Example H118E23)
diff-ring-constant-field-extension
- RngDiff_diff-ring-constant-field-extension (Example H118E20)
diff-ring-constant-field-extension-series
- RngDiff_diff-ring-constant-field-extension-series (Example H118E21)
diff-ring-create
- RngDiff_diff-ring-create (Example H118E1)
diff-ring-derivation-differential
- RngDiff_diff-ring-derivation-differential (Example H118E7)
diff-ring-element-creation
- RngDiff_diff-ring-element-creation (Example H118E4)
diff-ring-elts-booleans
- RngDiff_diff-ring-elts-booleans (Example H118E13)
diff-ring-ext-operator
- RngDiff_diff-ring-ext-operator (Example H118E24)
diff-ring-related-structures
- RngDiff_diff-ring-related-structures (Example H118E5)
diff-rings-booleans
- RngDiff_diff-rings-booleans (Example H118E8)
diff-rings-booleans-derivation
- RngDiff_diff-rings-booleans-derivation (Example H118E9)
diff-rings-change-precision
- RngDiff_diff-rings-change-precision (Example H118E12)
diff-rings-relative-precision
- RngDiff_diff-rings-relative-precision (Example H118E10)
diff_op
- Interaction of Covariants and Contravariants (ALGEBRAIC SURFACES)
Difference
- Difference(X, Y) : Sch, Sch -> Sch
- DifferenceSet(p, t) : RngIntElt, MonStgElt -> { RngIntResElt }
- HeightDifferenceBounds(E) : CrvEll -> FldReElt, FldReElt
- IsDifferenceSet(B) : SetEnum -> BoolElt, RngIntElt
- SingerDifferenceSet(n, q) : RngIntElt, RngIntElt -> { RngIntResElt }
- WordDifferenceAutomaton(G) : GrpAtc -> Rec
- WordDifferenceSize(G) : GrpAtc -> RngIntElt, RngIntElt
Differences
- WordDifferences(G) : GrpAtc -> SeqEnum
DifferenceSet
- DifferenceSet(p, t) : RngIntElt, MonStgElt -> { RngIntResElt }
Different
- Different(O) : RngFunOrd -> RngFunOrdIdl
- Different(a) : RngFunOrdElt -> RngFunOrdElt
- Different(I) : RngFunOrdIdl -> RngFunOrdIdl
- Different(O) : RngOrd -> RngOrdIdl
- Different(a) : RngOrdElt -> RngOrdElt
- Different(I) : RngOrdFracIdl -> RngOrdFracIdl
- DifferentDivisor(F) : FldFunG -> DivFunElt
DifferentDivisor
- DifferentDivisor(F) : FldFunG -> DivFunElt
Differential
- ChangeDifferential(F, df) : RngDiff, DiffFunElt -> RngDiff, Map
- ChangeDifferential(R, df) : RngDiffOp, DiffFunElt -> RngDiffOp, Map
- Differential(a) : FldFunFracSchElt -> DiffCrvElt
- Differential(a) : FldFunGElt -> DiffFunElt
- Differential(F) : RngDiff -> DiffFunElt
- Differential(s) : RngDiffElt -> RngDiffElt
- Differential(R) : RngDiffOp -> DiffFunElt
- DifferentialBasis(D) : DivCrvElt -> SeqEnum
- DifferentialBasis(D) : DivCrvElt -> [DiffCrvElt]
- DifferentialBasis(D) : DivFunElt -> [DiffFunElt]
- DifferentialBasis(D) : DivFunElt -> [DiffFunElt]
- DifferentialFieldExtension(L) : RngDiffOpElt -> RngDiff
- DifferentialIdeal(L) : [RngDiffElt] -> RngMPol
- DifferentialLaurentSeriesRing(C) : Fld -> RngDiff
- DifferentialMultiplicities(dsd) : DesingData -> SeqEnum
- DifferentialOperator(f) : RngUPolElt -> RngDiffOpElt
- DifferentialOperatorRing(F) : RngDiff -> RngDiffOp
- DifferentialRing(P, f, C) : Rng, Map, Rng -> RngDiff
- DifferentialRingExtension(L) : RngDiffOpElt -> RngDiff
- DifferentialSpace(C) : Crv -> DiffCrv
- DifferentialSpace(D) : DivCrvElt -> ModFld, Map
- DifferentialSpace(D) : DivCrvElt -> ModFld,Map
- DifferentialSpace(D) : DivFunElt -> ModFld, Map
- DifferentialSpace(D) : DivFunElt -> ModFld, Map
- DifferentialSpace(F) : FldFun -> DiffFun
- DifferentialSpace(F) : FldFunG -> DiffFun
- FunctionFieldPlace(p) : PlcCrvElt -> PlcFunElt
- IsAlgebraicDifferentialField(R) : Rng -> BoolElt
- IsDifferentialField(R) : Rng -> BoolElt
- IsDifferentialIdeal(R, I) : RngDiff, RngMPol -> BoolElt
- IsDifferentialLaurentSeriesRing(R) : Rng -> BoolElt
- IsDifferentialOperatorRing(R) : . -> BoolElt
- IsDifferentialSeriesRing(R) : Rng -> BoolElt
- MonicDifferentialOperator(L) : RngDiffOpElt -> RngDiffOpElt
- RationalDifferentialField(C) : Fld -> RngDiff

V2.28, 13 July 2023

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