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

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;