Return to minor_computations.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
with Standard_Floating_Matrices;         use Standard_Floating_Matrices;

package Minor_Computations is

  procedure Minors ( file : in file_type;
                     n,m : in natural; mat : in Matrix );

  -- DESCRIPTION :
  --   Computes all d-minors of a (nxm)-matrix mat, m < n, for d=2,..,m
  --   and writes the results on file.

  function Number_of_Minors ( n,m : natural ) return natural;

  -- DESCRIPTION :
  --   Returns the number of all d-minors of an n-by-m matrix, for d=2,..,m.

  function Sign_of_Minors ( n,m : natural; mat : Matrix ) return Vector;

  -- DESCRIPTION :
  --   Returns the sign pattern of all minors in the vector on return.
  --   Every entry of that vector contains either -1, 0, or +1.

end Minor_Computations;