Differential Rings

• Introduction
• Differential Rings and Fields
  • Creation
    • DifferentialRing(P, f, C): Rng, Map, Rng → RngDiff
    • Example: Diff Ring Create
    • RationalDifferentialField(C): Fld → RngDiff
    • Example: Rat Diff Field Create
    • DifferentialLaurentSeriesRing(C): Fld → RngDiff
    • Example: Diff Laur Ser Ring Create
    • RingOfFractions(R): RngDiff → RngDiff, Map
    • FieldOfFractions(R): RngDiff → RngDiff, Map
    • AssignNames(~R, S): RngDiff, [MonStgElt]
  • Creation of Differential Ring Elements
    • Name(R, i): RngDiff, RngIntElt → RngDiffElt
    • R . i: RngDiff, RngIntElt → RngDiffElt
    • R ! s: RngDiff, RngElt → RngDiffElt
    • Zero(R): RngDiff → RngDiffElt
    • One(R): RngDiff → RngDiffElt
    • Identity(R): RngDiff → RngDiffElt
    • SeparatingElement(F): RngDiff → RngDiffElt
    • Example: Diff Ring Element Creation
• Structure Operations on Differential Rings
  • Category and Parent
    • Category(R): RngDiff → RngDiff
    • Type(R): RngDiff → RngDiff
    • Parent(R): RngDiff → PowStr
  • Related Structures
    • UnderlyingRing(R): RngDiff → Rng
    • UnderlyingField(R): RngDiff → Rng
    • BaseRing(R): RngDiff → Rng
    • BaseField(R): RngDiff → Rng
    • ConstantRing(R): RngDiff → Rng
    • ConstantField(R): RngDiff → Rng
    • ExactConstantField(F): RngDiff → RngDiff, Map
    • Generators(R): RngDiff → SeqEnum
    • Example: Diff Ring Related Structures
    • Example: Diff Laur Ser Related Structures
  • Derivation and Differential
    • Derivation(R): RngDiff → Map
    • Differential(F): RngDiff → DiffFunElt
    • Example: Diff Ring Derivation Differential
  • Numerical Invariants
    • Ngens(R): RngDiff → RngIntElt
  • Predicates and Booleans
    • R eq F: RngDiff, RngDiff → BoolElt
    • IsIdentical(R, F): RngDiff, RngDiff → BoolElt
    • IsDomain(R): RngDiff → BoolElt
    • IsField(R): RngDiff → BoolElt
    • IsDifferentialField(R): Rng → BoolElt
    • IsAlgebraicDifferentialField(R): Rng → BoolElt
    • IsDifferentialSeriesRing(R): Rng → BoolElt
    • IsDifferentialLaurentSeriesRing(R): Rng → BoolElt
    • Example: Diff Rings Booleans
    • HasProjectiveDerivation(F): RngDiff → BoolElt
    • HasZeroDerivation(F): RngDiff → BoolElt
    • Example: Diff Rings Booleans Derivation
  • Precision
    • RelativePrecision(F): RngDiff → RngElt
    • RelativePrecisionOfDerivation(F): RngDiff → RngElt
    • Example: Diff Rings Relative Precision
    • Example Differential Ring Relative Precision Derivation
    • ChangePrecision(F, p): RngDiff, RngElt → RngDiff, Map
    • Example: Diff Rings Change Precision
• Element Operations on Differential Ring Elements
  • Category and Parent
    • Category(s): RngDiffElt → RngDiffElt
    • Type(s): RngDiffElt → RngDiffElt
    • Parent(s): RngDiffElt → RngDiff
  • Arithmetic
    • s + t: RngDiffElt, RngDiffElt → RngDiffElt
    • - s: RngDiffElt → RngDiffElt
    • s - t: RngDiffElt, RngDiffElt → RngDiffElt
    • s * t: RngDiffElt, RngDiffElt → RngDiffElt
    • s ^ n: RngDiffElt, RngIntElt → RngDiffElt
    • s div t: RngDiffElt, RngDiffElt → RngDiffElt
    • s / t: RngDiffElt, RngDiffElt → RngDiffElt
  • Predicates and Booleans
    • s eq t: RngDiffElt, RngDiffElt → BoolElt
    • IsZero(s): RngDiffElt → BoolElt
    • IsOne(s): RngDiffElt → BoolElt
    • IsWeaklyEqual(s, t): RngDiffElt, RngDiffElt → BoolElt
    • IsWeaklyZero(s): RngDiffElt → BoolElt
    • IsOrderTerm(s): RngDiffElt → BoolElt
    • IsOrderTerm(s): RngSerElt → BoolElt
    • Example: Diff Ring Elts Booleans
  • Coefficients and Terms
    • O(s): RngDiffElt → RngDiffElt
    • Truncate(s): RngDiffElt → RngDiffElt
    • Eltseq(s): RngDiffElt → SeqEnum
    • Exponents(s): RngDiffElt → SeqEnum
    • Exponents(s): RngSerElt → SeqEnum
    • Example Coefficients Terms Algebraic Differential Elements
    • Example Coefficients Terms Differential Series
  • Conjugates, Norm and Trace
    • MinimalPolynomial(s): RngDiffElt → RngUPolElt
    • Example Minimal Polynomial Differential Rings
  • Derivatives and Differentials
    • Derivative(s): RngDiffElt → RngDiffElt
    • Differential(s): RngDiffElt → RngDiffElt
    • Example: Derivative Differential Diff Ring Elements
• Changing Related Structures
  • ChangeDerivation(R, f): RngDiff, RngElt → RngDiff, Map
  • Example: Diff Ring Change Derivation
  • ChangeDifferential(F, df): RngDiff, DiffFunElt → RngDiff, Map
  • Example: Diff Ring Change Differential
  • ConstantFieldExtension(F, C): RngDiff, Fld → RngDiff, Map
  • Example: Diff Ring Constant Field Extension
  • Example: Diff Ring Constant Field Extension Series
  • Completion(F, p): RngDiff, PlcFunElt → RngDiff, Map
  • Example: Diff Ring Completion Create
  • Example: Diff Ring Completion Elliptic
• Ring and Field Extensions
  • DifferentialRingExtension(L): RngDiffOpElt → RngDiff
  • DifferentialFieldExtension(L): RngDiffOpElt → RngDiff
  • Example: Diff Ring Ext Operator
  • Example: Diff Field Ext Operator
  • ext< F | f >: RngDiff, RngUPolElt → RngDiff
  • Example: Diff Field Ext Ext
  • ExponentialFieldExtension(F, f): RngDiff, RngDiffElt → RngDiff
  • LogarithmicFieldExtension(F, f): RngDiff, RngDiffElt → RngDiff
  • Example: Diff Field Ext Exp Log
  • PurelyRamifiedExtension(f): RngUPolElt[RngDiff] → RngDiff, Map
  • Example: Diff Field Purely Ramified Ext ADF
  • Example: Diff Field Purely Ramified Ext DLSR 1
  • Example: Diff Field Purely Ramified Ext DLSR 2
• Ideals and Quotient Rings
  • Defining Ideals and Quotient Rings
    • DifferentialIdeal(L): [RngDiffElt] → RngMPol
    • QuotientRing(R, I): RngDiff, RngMPol → RngDiff, Map
    • Example: Diff Ideal Quotient
  • Boolean Operations on Ideals
    • IsDifferentialIdeal(R, I): RngDiff, RngMPol → BoolElt
• Wronskian Matrix
  • WronskianMatrix(L): [RngDiffElt] → AlgMatElt
  • WronskianDeterminant(L): [RngDiffElt] → RngDiffElt, AlgMatElt
  • Example: Wronskian Mat Det
• Differential Operator Rings
  • Creation
    • DifferentialOperatorRing(F): RngDiff → RngDiffOp
    • Example: Create Diff Op Ring
    • AssignNames(~R, S): RngDiffOp, [MonStgElt]
  • Creation of Differential Operators
    • Name(R, i): RngDiffOp, RngIntElt → RngDiffElt
    • R . i: RngDiffOp, RngIntElt → RngDiffOpElt
    • R ! s: RngDiffOp, RngElt → RngDiffOpElt
    • Zero(R): RngDiffOp → RngDiffOpElt
    • One(R): RngDiffOp → RngDiffOpElt
    • Example Diff Op Coercion
• Structure Operations on Differential Operator Rings
  • Category and Parent
    • Category(R): RngDiffOp → RngDiffOp
    • Type(R): RngDiffOp → RngDiffOp
    • Parent(R): RngDiffOp → PowStr
  • Related Structures
    • BaseRing(R): RngDiffOp → Rng
    • CoefficientRing(R): RngDiffOp → Rng
    • ConstantRing(R): RngDiffOp → Rng
  • Derivation and Differential
    • Derivation(R): RngDiffOp → Map
    • Differential(R): RngDiffOp → DiffFunElt
    • Example: Diff Op Ring Related Structures
  • Predicates and Booleans
    • R eq F: RngDiffOp, RngDiffOp → BoolElt
    • IsIdentical(R, F): RngDiffOp, RngDiffOp → BoolElt
    • IsDifferentialOperatorRing(R): . → BoolElt
    • HasProjectiveDerivation(R): RngDiffOp → BoolElt
    • HasZeroDerivation(R): RngDiffOp → BoolElt
    • Example: Diff Op Ring Booleans
    • Example: Diff Op Ring Booleans LSR
  • Precision
    • RelativePrecisionOfDerivation(R): RngDiffOp → RngElt
    • Example: Diff Op Rings Relative Precision
• Element Operations on Differential Operators
  • Category and Parent
    • Category(L): RngDiffOpElt → RngDiffOpElt
    • Type(L): RngDiffOpElt → RngDiffOpElt
    • Parent(L): RngDiffOpElt → RngDiffOp
  • Arithmetic
    • s + t: RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • s + t: RngDiffOpElt, RngElt → RngDiffOpElt
    • s + t: RngElt, RngDiffOpElt → RngDiffOpElt
    • - s: RngDiffOpElt → RngDiffOpElt
    • s - t: RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • s - t: RngDiffOpElt, RngElt → RngDiffOpElt
    • s - t: RngElt, RngDiffOpElt → RngDiffOpElt
    • s * t: RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • s * t: RngDiffOpElt, RngElt → RngDiffOpElt
    • s * t: RngElt, RngDiffOpElt → RngDiffOpElt
    • s ^ n: RngDiffOpElt, RngIntElt → RngDiffElt
    • Example: Diff Op Arithmetic
  • Predicates and Booleans
    • s eq t: RngDiffOpElt, RngDiffOpElt → BoolElt
    • IsZero(L): RngDiffOpElt → BoolElt
    • IsOne(L): RngDiffOpElt → BoolElt
    • IsMonic(L): RngDiffOpElt → BoolElt
    • IsWeaklyEqual(L, P): RngDiffOpElt, RngDiffOpElt → BoolElt
    • IsWeaklyZero(L): RngDiffOpElt → BoolElt
    • IsWeaklyMonic(L): RngDiffOpElt → BoolElt
  • Coefficients and Terms
    • Eltseq(L): RngDiffOpElt → SeqEnum
    • Coefficients(L): RngDiffOpElt → SeqEnum
    • Coefficient(L, i): RngDiffOpElt, RngIntElt → RngElt
    • LeadingCoefficient(L): RngDiffOpElt → RngElt
    • LeadingTerm(L): RngDiffOpElt → RngDiffOpElt
    • Terms(L): RngDiffOpElt → SeqEnum
    • Example: Diff Op Coeff Terms
  • Order and Degree
    • Order(L): RngDiffOpElt → RngIntElt
    • Degree(L): RngDiffOpElt → RngIntElt
    • WeakOrder(L): RngDiffOpElt → RngIntElt
    • WeakDegree(L): RngDiffOpElt → RngIntElt
    • Example Booleans Degrees Diff Ops
  • Related Differential Operators
    • MonicDifferentialOperator(L): RngDiffOpElt → RngDiffOpElt
    • Adjoint(L): RngDiffOpElt → RngDiffOpElt
    • Translation(L, e): RngDiffOpElt, RngElt → RngDiffOpElt, Map
    • TruncateCoefficients(L): RngDiffOpElt → RngDiffOpElt
    • Example: Related Diff Op
    • Example: Related Diff Op Truncate Coefficients
  • Application of Operators
    • Apply(L, f): RngDiffOpElt, RngElt → RngElt
    • L(f): RngElt, RngDiffOpElt → RngElt
    • f @ L: RngElt, RngDiffOpElt → RngElt
    • Example Apply
• Related Maps
  • TranslationMap(R, e): RngDiffOp, RngElt → Map
  • LiftMap(m, R): Map, RngDiffOp → Map
  • Example Maps Between Diff Op Rings
• Changing Related Structures
  • ChangeDerivation(R, f): RngDiffOp, RngElt → RngDiffOp, Map
  • ChangeDifferential(R, df): RngDiffOp, DiffFunElt → RngDiffOp, Map
  • Example Diff Op Ring Changing Differential
  • ConstantFieldExtension(R, C): RngDiffOp, Fld → RngDiffOp, Map
  • PurelyRamifiedExtension(R,f): RngDiffOp, RngUPolElt → RngDiffOp, Map
  • Example: Diff Op Ring Purely Ramified Extension DLSR
  • Completion(R, p): RngDiffOp, PlcFunElt → RngDiffOp, Map
  • Localization(R, p): RngDiffOp, PlcFunElt → RngDiffOp, Map, PlcFunElt
  • Localization(L, p): RngDiffOpElt, PlcFunElt → RngDiffOpElt, Map, PlcFunElt
  • Localization(R): RngDiffOp → RngDiffOp, Map
  • Localization(L): RngDiffOpElt → RngDiffOpElt, Map
  • Example Diff Op Ring Changing Attributes DLSR
  • Example Diff Op Ring Completion
  • Example Diff Op Ring Localization
• Euclidean Algorithms, GCDs and LCMs
  • Euclidean Right and Left Division
    • EuclideanRightDivision(N, D): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt, RngDiffOpElt
    • EuclideanLeftDivision(D, N): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt, RngDiffOpElt
    • Example Eucl Alg
  • Greatest Common Right and Left Divisors
    • GreatestCommonRightDivisor(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • GCRD(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • ExtendedGreatestCommonRightDivisor(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt, RngDiffOpElt, RngDiffOpElt
    • GreatestCommonLeftDivisor(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • GCLD(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • ExtendedGreatestCommonLeftDivisor(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt, RngDiffOpElt, RngDiffOpElt
    • Example GCRD GCLD
  • Least Common Left Multiples
    • LeastCommonLeftMultiple(L): RngDiffOpElt → RngDiffOpElt
    • LeastCommonLeftMultiple(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • LCLM(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt
    • ExtendedLeastCommonLeftMultiple(A, B): RngDiffOpElt, RngDiffOpElt → RngDiffOpElt, RngDiffOpElt, RngDiffOpElt
    • ExtendedLeastCommonLeftMultiple(S): [RngDiffOpElt] → RngDiffOpElt, SeqEnum
    • Example LCLM
    • Example LCLM Conjugates
• Related Matrices
  • CompanionMatrix(L): RngDiffOpElt → AlgMatElt
  • Example Companion Matrix
• Singular Places and Indicial Polynomials
  • Singular Places
    • IsRegularPlace(L, p): RngDiffOpElt, PlcFunElt → BoolElt
    • IsRegularSingularPlace(L, p): RngDiffOpElt, PlcFunElt → BoolElt
    • IsIrregularSingularPlace(L, p): RngDiffOpElt, PlcFunElt → BoolElt
    • SetsOfSingularPlaces(L): RngDiffOpElt → SetEnum, SetEnum
    • IsFuchsianOperator(L): RngDiffOpElt → BoolElt, SetEnum
    • IsRegularSingularOperator(L): RngDiffOpElt → BoolElt, SetEnum
    • Example Singularities
    • Example Regular Singular DLSR
  • Indicial Polynomials
    • IndicialPolynomial(L, p): RngDiffOpElt, PlcFunElt → RngElt
    • Example Indicial Pol
• Rational Solutions
  • RationalSolutions(L): RngDiffOpElt → SeqEnum
  • HasRationalSolutions(L, g): RngDiffOpElt, RngElt → BoolElt, RngElt, SeqEnum
  • Example Rational Sols
• Newton Polygons
  • NewtonPolygon(L): RngDiffOpElt → NwtnPgon, RingDiffOpElt
  • NewtonPolygon(L, p): RngDiffOpElt, PlcFunElt → NwtnPgon, RingDiffOpElt
  • NewtonPolynomial(F): NwtnPgonFace → RngUPolElt
  • NewtonPolynomials(L): RngDiffOpElt → SeqEnum, SeqEnum
  • Example Newton Pgns 1
  • Example Newton Pgns 2
  • Example Newton Pgns 3
• Symmetric Powers
  • SymmetricPower(L, m): RngDiffOpElt, RngIntElt → RngDiffOpElt
  • Example Symmetric Power
• Differential Operators of Algebraic Functions
  • DifferentialOperator(f): RngUPolElt → RngDiffOpElt
  • Example Diff Op Algebraic Function
• Factorisation of Operators over Differential Laurent Series Rings
  • Slope Valuation of an Operator
    • SlopeValuation(L,s): RngDiffOpElt, RngElt → FldRatElt
    • Example Diff Op Slope Valuation
  • Coprime Index \(1\) and LCLM Factorisation
    • Factorisation(L): RngDiffOpElt → SeqEnum, SeqEnum
    • Factorization(L): RngDiffOpElt → SeqEnum, SeqEnum
    • Example Diff Op Factorisation LCLM 1
    • Example Diff Op Factorisation LCLM 2
    • Example Diff Op Factorisation LCLM 3
    • Example Diff Op Factorisation LCLM 4
    • Example Diff Op Factorisation LCLM 5
    • Example Diff Op Factorisation LCLM 6
  • Right Hand Factors of Operators
    • RightHandFactors(L): RngDiffOpElt → SeqEnum, [BoolElt]
    • Example Diff Op Righthandfactors 1
    • Example Diff Op Righthandfactors 2
    • Example Diff Op Righthandfactors 3
    • Example Diff Op Righthandfactors 4
    • Example Diff Op Righthandfactors 5
    • Example Diff Op Righthandfactors 5