Package hermite/HNF.SolveDioph
From ApCoCoAWiki
HNF.SolveDioph
This function solves linear systems of equations over the integers.
Syntax
HNF.SolveDioph(A:MAT, B:MAT>):LIST
Description
Computes a solution of the linear system AX=B. If only one argument A is given then the function computes a basis of the solution space of the homogeneous system AX=0.
@param A integer matrix of dimension nxm
@param B (optional) integer matrix of dimension mx1
@return a solution or basis of the solution space if system is homogeneous
Example
<<first example>>
Example
<<second example>>
