Return to plane_representations.ads CVS log

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

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

1.1     ! maekawa     1: with Standard_Natural_Matrices;
        !             2: with Standard_Complex_Matrices;
        !             3: with Standard_Complex_Vectors;
        !             4:
        !             5: package Plane_Representations is
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   This package allows to convert between various representations
        !             9: --   of solution planes.
        !            10:
        !            11:   function Localize ( locmap : Standard_Natural_Matrices.Matrix;
        !            12:                       plamat : Standard_Complex_Matrices.Matrix )
        !            13:                     return Standard_Complex_Matrices.Matrix;
        !            14:
        !            15:   -- DESCRIPTION :
        !            16:   --   Returns the representation of the plane in local coordinates.
        !            17:
        !            18:   function Vector_Rep ( plamat : Standard_Complex_Matrices.Matrix )
        !            19:                       return Standard_Complex_Vectors.Vector;
        !            20:
        !            21:   -- DESCRIPTION :
        !            22:   --   Converts the matrix representation of the plane into a vector
        !            23:   --   representation, ordering the variables lexicographically.
        !            24:
        !            25:   function Vector_Rep ( locmap : Standard_Natural_Matrices.Matrix;
        !            26:                         plamat : Standard_Complex_Matrices.Matrix )
        !            27:                       return Standard_Complex_Vectors.Vector;
        !            28:
        !            29:   -- DESCRIPTION :
        !            30:   --   Returns the vector representation of the plane, skipping the
        !            31:   --   entries that correspond to zeros and ones in the localization.
        !            32:
        !            33:   function Matrix_Rep ( locmap : Standard_Natural_Matrices.Matrix;
        !            34:                         plavec : Standard_Complex_Vectors.Vector )
        !            35:                       return Standard_Complex_Matrices.Matrix;
        !            36:
        !            37:   -- DESCRIPTION :
        !            38:   --   Converts from vector to matrix representation of a plane.
        !            39:
        !            40:   -- REQUIRED :
        !            41:   --   The vector plavec contains exactly as many elements as there are free
        !            42:   --   elements in the localization map.
        !            43:
        !            44:   -- ON ENTRY :
        !            45:   --   locmap           localization map, 0,1 for I, 2 for free variables;
        !            46:   --   plavec           vector representation of a p-plane.
        !            47:
        !            48:  -- ON RETURN : matrix representation as plane with the localization map.
        !            49:
        !            50: end Plane_Representations;