A The Basic Matrix Operations
  
  These  are  the  operations  used  to solve one-sided (in)homogeneous linear
  systems XA=B resp. AX=B.
  
  
  A.1 Main
  
      BasisOfRowModule (5.5-22)
  
      BasisOfColumnModule (5.5-23)
  
      DecideZeroRows (5.5-24)
  
      DecideZeroColumns (5.5-25)
  
      SyzygiesGeneratorsOfRows (5.5-26)
  
      SyzygiesGeneratorsOfColumns (5.5-27)
  
  
  A.2 Effective
  
      BasisOfRowsCoeff (5.5-34)
  
      BasisOfColumnsCoeff (5.5-35)
  
      DecideZeroRowsEffectively (5.5-36)
  
      DecideZeroColumnsEffectively (5.5-37)
  
  
  A.3 Relative
  
      SyzygiesGeneratorsOfRows (5.5-28)
  
      SyzygiesGeneratorsOfColumns (5.5-29)
  
  
  A.4 Reduced
  
      ReducedBasisOfRowModule (5.5-30)
  
      ReducedBasisOfColumnModule (5.5-31)
  
      ReducedSyzygiesGeneratorsOfRows (5.5-32)
  
      ReducedSyzygiesGeneratorsOfColumns (5.5-33)