Difference between revisions of "ApCoCoA-1:Slinalg.SEF"
From ApCoCoAWiki
| Line 18: | Line 18: | ||
<example> | <example> | ||
Use ZZ/(2)[x]; | Use ZZ/(2)[x]; | ||
| − | |||
| − | |||
NRow:=10; | NRow:=10; | ||
NCol:=13; | NCol:=13; | ||
| + | M := [[1, 2, 6, 7], | ||
| + | [1, 2, 4, 5, 6], | ||
| + | [2, 3], | ||
| + | [2, 3, 10, 11], | ||
| + | [2, 4, 6, 7, 9, 10], | ||
| + | [2, 10, 11, 13], | ||
| + | [5, 6, 8], | ||
| + | [ 6, 8, 9,10,12], | ||
| + | [6, 10, 12], | ||
| + | [10, 13]]; | ||
Slinalg.SEF(NRow, NCol, M); | Slinalg.SEF(NRow, NCol, M); | ||
| − | [[1,2,6,7],[2,3],[3,4,6,7,9,10],[4,5,7],[5,6,8],[6,8,9,10,12],[8,9,11,13],[10,11],[11,13]] | + | [[1,2,6,7], |
| + | [2,3], | ||
| + | [3,4,6,7,9,10], | ||
| + | [4,5,7], | ||
| + | [5,6,8], | ||
| + | [6,8,9,10,12], | ||
| + | [8,9,11,13], | ||
| + | [10,11], | ||
| + | [11,13]] | ||
------------------------------- | ------------------------------- | ||
Revision as of 08:25, 9 July 2009
Slinalg.SEF
Calculates the Echelon form of a sparse matrix over F2.
Syntax
Slinalg.SEF(NRow : INT ,NCol : INT, Mat : LIST)
Description
Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.
@param NRow: Number of rows of the matrix.
@param NCol: Number of Columns of the matrix.
@param Mat: List of lists containing positions of non zero elements.
@return A list of lists containing the Echelon form of the matrix.
Example
Use ZZ/(2)[x];
NRow:=10;
NCol:=13;
M := [[1, 2, 6, 7],
[1, 2, 4, 5, 6],
[2, 3],
[2, 3, 10, 11],
[2, 4, 6, 7, 9, 10],
[2, 10, 11, 13],
[5, 6, 8],
[ 6, 8, 9,10,12],
[6, 10, 12],
[10, 13]];
Slinalg.SEF(NRow, NCol, M);
[[1,2,6,7],
[2,3],
[3,4,6,7,9,10],
[4,5,7],
[5,6,8],
[6,8,9,10,12],
[8,9,11,13],
[10,11],
[11,13]]
-------------------------------
See also
