Difference between revisions of "Package hermite/HNF.SolveDioph"
From ApCoCoAWiki
Line 8: | Line 8: | ||
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. | 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. | ||
<itemize> | <itemize> | ||
− | <item>@param <tt> | + | <item>@param <tt>A</tt> integer matrix of dimension nxm</item> |
− | <item>@param <tt> | + | <item>@param <tt>B</tt> (optional) integer matrix of dimension mx1</item> |
− | <item>@return | + | <item>@return a solution or basis of the solution space if system is homogeneous</item> |
</itemize> | </itemize> | ||
− | |||
− | |||
− | |||
<example><<first example>></example> | <example><<first example>></example> | ||
<example><<second example>></example> | <example><<second example>></example> | ||
</description> | </description> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
<types> | <types> | ||
− | <type> | + | <type>MAT</type> |
− | <type> | + | <type>LIST</type> |
</types> | </types> | ||
− | + | <key>SolveDioph</key> | |
− | <key> | + | <key>HNF.SolveDioph</key> |
− | <key> | + | <key>hermite.SolveDioph</key> |
− | <key> | ||
− | |||
− | |||
− | <wiki-category>Package | + | <wiki-category>Package hermite</wiki-category> |
</command> | </command> |
Revision as of 15:04, 7 November 2020
HNF.SolveDioph
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>>