ApCoCoA-1:IML.Solve

From ApCoCoAWiki
Revision as of 17:08, 13 November 2008 by Skaspar (talk | contribs) (Initial version)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Solve

solve linear equation system

Syntax

IML.Solve(M:MAT, B:MAT):MAT

Description

Let M and B be matrices defined over the ring of integers, a finite field or the field of rationals. This function tries to solve the linear equation system M*X = B by using the ApCoCoAServer supported by the IML library.

The return value will be a solution vector of the linear equation system or an empty matrix if no solution has been found.

Example

Use Z/(19)[x];
M := BringIn(Mat([[1,3,4], [0,2,1]]));
B := BringIn(Mat([[1], [2]]));
IML.Solve(M, B);
-------------------------------
Mat([
  [-2 % 19],
  [1 % 19],
  [0 % 19]
])
-------------------------------

Use Q[x];
M := Mat([ [1,3,4], [0,2,1], [1,3,4] ]);
B := Mat([ [1], [2], [0] ]);
IML.Solve(M, B);
-------------------------------
Mat([
  [ ]
])
-------------------------------

LinBox.Solve

LinKer