Return to minor_computations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/minor_computations.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             3: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
        !             4: with Standard_Floating_Matrices;         use Standard_Floating_Matrices;
        !             5:
        !             6: package Minor_Computations is
        !             7:
        !             8:   procedure Minors ( file : in file_type;
        !             9:                      n,m : in natural; mat : in Matrix );
        !            10:
        !            11:   -- DESCRIPTION :
        !            12:   --   Computes all d-minors of a (nxm)-matrix mat, m < n, for d=2,..,m
        !            13:   --   and writes the results on file.
        !            14:
        !            15:   function Number_of_Minors ( n,m : natural ) return natural;
        !            16:
        !            17:   -- DESCRIPTION :
        !            18:   --   Returns the number of all d-minors of an n-by-m matrix, for d=2,..,m.
        !            19:
        !            20:   function Sign_of_Minors ( n,m : natural; mat : Matrix ) return Vector;
        !            21:
        !            22:   -- DESCRIPTION :
        !            23:   --   Returns the sign pattern of all minors in the vector on return.
        !            24:   --   Every entry of that vector contains either -1, 0, or +1.
        !            25:
        !            26: end Minor_Computations;