Difference between revisions of "ApCoCoA-1:Slinalg.SEF"

From ApCoCoAWiki
Line 1: Line 1:
 
<command>
 
<command>
 
<title>Slinalg.SEF</title>
 
<title>Slinalg.SEF</title>
<short_description>Calculates the Echelon form of a sparse matrix over F2.</short_description>
+
<short_description>Computes the row echelon form of a sparse matrix over F2.</short_description>
 
<syntax>
 
<syntax>
Slinalg.SEF(NRow : INT ,NCol : INT, Mat : LIST)
+
Slinalg.SEF(NRow : INT ,NCol : INT, Mat : LIST):LIST of LIST
 
</syntax>
 
</syntax>
 
<description>
 
<description>
Line 13: Line 13:
 
<item>@param <em>NCol</em>: Number of Columns of the matrix.</item>
 
<item>@param <em>NCol</em>: Number of Columns of the matrix.</item>
 
<item>@param <em>Mat</em>: List of lists containing positions of non zero elements.</item>
 
<item>@param <em>Mat</em>: List of lists containing positions of non zero elements.</item>
<item>@return A list of lists containing the Echelon form of the matrix.</item>
+
<item>@return A list of lists containing the row echelon form of the matrix.</item>
 
</itemize>
 
</itemize>
 
   
 
   
Line 50: Line 50:
 
<types>
 
<types>
 
   <type>apcocoaserver</type>
 
   <type>apcocoaserver</type>
   <type>poly_system</type>
+
   <type>matrix</type>
 
</types>
 
</types>
  
Line 59: Line 59:
 
</seealso>
 
</seealso>
  
<key>bcmsolve</key>
+
<key>slinalg.sef</key>
<key>bertini.bcmsolve</key>
+
<key>sef</key>
<key>solve zero dimensional polynomial system</key>
+
<key>sparse matrix</key>
 
<wiki-category>Package_slinalg</wiki-category>
 
<wiki-category>Package_slinalg</wiki-category>
 
</command>
 
</command>

Revision as of 13:55, 10 July 2009

Slinalg.SEF

Computes the row echelon form of a sparse matrix over F2.

Syntax

Slinalg.SEF(NRow : INT ,NCol : INT, Mat : LIST):LIST of 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 row 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

IML.REF

LinAlg.REF