“…Throughout this section, unless otherwise specified, we consider instead of V its field of fractions K = F rac(V). Recall that any ℓ × ℓ matrix differential operator H ∈ (Note that we can always construct a differential field extension K of K with the same field of constants such that, in this extension, dim C (Ker H) = deg(H), see [CDSK13,Lem.4.3], but, in general, this extension K will not be an algebra of differential functions.) For a more detailed exposition on the Dieudonnè determinant, see [CDSK14].…”