Return to plane_representations.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
File: [local] / OpenXM_contrib / PHC / Ada / Schubert / plane_representations.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:33 2000 UTC (23 years, 11 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
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;