ApCoCoA-1:Slinalg.SEF: Difference between revisions

From ApCoCoAWiki
No edit summary
No edit summary
Line 18: Line 18:
<example>
<example>
Use ZZ/(2)[x];
Use ZZ/(2)[x];
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]];
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

Introduction to CoCoAServer

Bertini.BSolve

Bertini.BMSolve

Bertini.BUHSolve