Return to plane_representations.ads CVS log

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

Initial revision

with Standard_Natural_Matrices;
with Standard_Complex_Matrices;
with Standard_Complex_Vectors;

package Plane_Representations is

-- DESCRIPTION :
--   This package allows to convert between various representations
--   of solution planes.

  function Localize ( locmap : Standard_Natural_Matrices.Matrix;
                      plamat : Standard_Complex_Matrices.Matrix )
                    return Standard_Complex_Matrices.Matrix;

  -- DESCRIPTION :
  --   Returns the representation of the plane in local coordinates.

  function Vector_Rep ( plamat : Standard_Complex_Matrices.Matrix )
                      return Standard_Complex_Vectors.Vector;

  -- DESCRIPTION :
  --   Converts the matrix representation of the plane into a vector
  --   representation, ordering the variables lexicographically.

  function Vector_Rep ( locmap : Standard_Natural_Matrices.Matrix;
                        plamat : Standard_Complex_Matrices.Matrix )
                      return Standard_Complex_Vectors.Vector;

  -- DESCRIPTION :
  --   Returns the vector representation of the plane, skipping the
  --   entries that correspond to zeros and ones in the localization.

  function Matrix_Rep ( locmap : Standard_Natural_Matrices.Matrix;
                        plavec : Standard_Complex_Vectors.Vector )
                      return Standard_Complex_Matrices.Matrix;

  -- DESCRIPTION :
  --   Converts from vector to matrix representation of a plane.

  -- REQUIRED :
  --   The vector plavec contains exactly as many elements as there are free
  --   elements in the localization map.

  -- ON ENTRY :
  --   locmap           localization map, 0,1 for I, 2 for free variables;
  --   plavec           vector representation of a p-plane.

 -- ON RETURN : matrix representation as plane with the localization map.

end Plane_Representations;