Wronskian Matrix

Let R be a differential ring and let y1, y2, ..., yn be elements of R. The wronskian matrix of y1, y2, ..., yn is defined as the n x n matrix

The wronskian determinant, or simply the wronskian, of y1, y2, ..., yn is the determinant of the wronskian matrix W(y1, y2, ..., yn).

WronskianMatrix(L) : [RngDiffElt] -> AlgMatElt
Given a sequence of differential ring elements L, return the Wronskian matrix of L whose entries are elements of the universe of L.
WronskianDeterminant(L) : [RngDiffElt] -> RngDiffElt, AlgMatElt
Given a sequence of differential ring elements L, return the determinant of the Wronskian matrix of L as well as the matrix itself.

Example RngDiff_wronskian-mat-det (H118E32)

> F<z> := RationalDifferentialField(Rationals());
> WronskianMatrix([1,z,z^2]);
[1 z z^2]
[0 1 2*z]
[0 0 2]
> WronskianDeterminant([1,z^2,1/z]);
6/z
[z z^2 1/z]
[1 2*z -1/z^2]
[0 2 2/z^3]
V2.28, 13 July 2023