ReduceLODE(F, L, UP, A, LO)¶
- F: Field
- L: LinearOrdinaryDifferentialOperatorCategory F
- UP: UnivariatePolynomialCategory F
- A: MonogenicAlgebra(F, UP)
- LO: LinearOrdinaryDifferentialOperatorCategory A
Elimination of an algebraic from the coefficients of a linear ordinary differential equation.
- reduceLODE: (LO, A) -> Record(mat: Matrix L, vec: Vector F)
[m, v]such that any solution in
op z = gis of the form
z = (z_1, ..., z_m) . (b_1, ..., b_m)where the
b_i'sare the basis of
Freturned by basis() from
A, and the
z_i'ssatisfy the differential system
M.z = v.