  
  [1XC The Basic Matrix Operations[0X
  
  These  are  the  operations  used  to solve one-sided (in)homogeneous linear
  systems XA=B resp. AX=B (--> Appendix [14XB[0m).
  
  
  [1XC.1 Main[0X
  
  --    [2XBasisOfRowModule[0m ([14X6.5-17[0m)
  
  --    [2XBasisOfColumnModule[0m ([14X6.5-18[0m)
  
  --    [2XDecideZeroRows[0m ([14X6.5-19[0m)
  
  --    [2XDecideZeroColumns[0m ([14X6.5-20[0m)
  
  --    [2XSyzygiesGeneratorsOfRows[0m ([14X6.5-21[0m)
  
  --    [2XSyzygiesGeneratorsOfColumns[0m ([14X6.5-22[0m)
  
  
  [1XC.2 Effective[0X
  
  --    [2XBasisOfRowsCoeff[0m ([14X6.5-29[0m)
  
  --    [2XBasisOfColumnsCoeff[0m ([14X6.5-30[0m)
  
  --    [2XDecideZeroRowsEffectively[0m ([14X6.5-31[0m)
  
  --    [2XDecideZeroColumnsEffectively[0m ([14X6.5-32[0m)
  
  
  [1XC.3 Relative[0X
  
  --    [2XSyzygiesGeneratorsOfRows[0m ([14X6.5-23[0m)
  
  --    [2XSyzygiesGeneratorsOfColumns[0m ([14X6.5-24[0m)
  
  
  [1XC.4 Reduced[0X
  
  --    [2XReducedBasisOfRowModule[0m ([14X6.5-25[0m)
  
  --    [2XReducedBasisOfColumnModule[0m ([14X6.5-26[0m)
  
  --    [2XReducedSyzygiesGeneratorsOfRows[0m ([14X6.5-27[0m)
  
  --    [2XReducedSyzygiesGeneratorsOfColumns[0m ([14X6.5-28[0m)
  
