Return to matrix_homotopies.ads CVS log

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

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

1.1     ! maekawa     1: with Standard_Complex_Numbers;          use Standard_Complex_Numbers;
        !             2: with Standard_Complex_Matrices;         use Standard_Complex_Matrices;
        !             3:
        !             4: package Matrix_Homotopies is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides an abstraction for dealing with homotopies of matrices.
        !             8: --   In particular, we can store and evaluate n different couples of start and
        !             9: --   target matrices, defining the matrix(t) := (1-t)*start + t*target.
        !            10:
        !            11: -- CREATORS :
        !            12:
        !            13:   procedure Init ( n : in natural );
        !            14:
        !            15:   -- DESCRIPTION :
        !            16:   --   Reserves space for n matrix homotopies.
        !            17:
        !            18:   procedure Add ( start,target : in Matrix );
        !            19:
        !            20:   -- DESCRIPTION :
        !            21:   --   Adds a new couple to the matrix homotopies.
        !            22:
        !            23:   -- REQUIRED : start'range(1) = target'range(1) = 1..n
        !            24:   --        and start'range(2) = target'range(2) = 1..m,
        !            25:   --        and not exceed initial capacity n.
        !            26:
        !            27:   procedure Add_Start ( mapno : in natural; start : in Matrix );
        !            28:   procedure Add_Target ( mapno : in natural; target : in Matrix );
        !            29:
        !            30:   -- DESCRIPTION :
        !            31:   --   Adds the start or target system for the indicated map.
        !            32:   --   This can also be used to modify the homotopies.
        !            33:
        !            34:   -- REQUIRED : mapno <= n, start and target should have same dimensions.
        !            35:
        !            36: -- SELECTOR :
        !            37:
        !            38:   function Empty ( mapno : natural ) return boolean;
        !            39:
        !            40:   -- DESCRIPTION :
        !            41:   --   Returns true if the matrix homotopy indicated by mapno is empty.
        !            42:
        !            43:   function Cardinality return natural;
        !            44:
        !            45:   -- DESCRIPTION :
        !            46:   --   Returns the number of matrix homotopies that have been added.
        !            47:
        !            48: -- EVALUATOR :
        !            49:
        !            50:   function Eval ( mapno : natural; t : Complex_Number ) return Matrix;
        !            51:
        !            52:   -- DESCRIPTION :
        !            53:   --   Evaluates the kth matrix homotopy at t, with k = mapno.
        !            54:
        !            55:   -- REQUIRED : mapno <= n.
        !            56:
        !            57: -- DESTRUCTOR :
        !            58:
        !            59:   procedure Clear;
        !            60:
        !            61:   -- DESCRIPTION :
        !            62:   --   Destroys all matrices.
        !            63:
        !            64: end Matrix_Homotopies;