The Casoratian of sequences ,
, ...,
is defined by the
determinant
The Casoratian is implemented in the Wolfram Language as Casoratian[y1, y2, ...
, n].
The solutions ,
, ...,
of the linear difference equation
for , 1, ..., are linearly independent
sequences iff their Casoratian is nonzero for
(Zwillinger 1995).