The elements of a module M over a ring R are said to be linearly dependent over R if there exist in R, not all , such that . If such 's exist, they form what is called a linear dependence relation over R for the 's.
The package IntegerLinearDependence provides functions for testing whether some elements of a module over the integers are linearly dependent over the integers, and to find the linear dependence relations, if any.
Consider the domain of two by two square matrices with integer entries.
Now create three such matrices.
This tells you whether m1, m2 and m3 are linearly dependent over the integers.
Since they are linearly dependent, you can ask for the dependence relation.
This means that the following linear combination should be 0.
When a given set of elements are linearly dependent over R, this also means that at least one of them can be rewritten as a linear combination of the others with coefficients in the quotient field of R.
To express a given element in terms of other elements, use the operation solveLinearlyOverQsolveLinearlyOverQIntegerLinearDependence.