Return to projective_transformations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Homotopy/projective_transformations.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
                      2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      3: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      4:
                      5: package Projective_Transformations is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package provides routines for performing a projective
                      9: --   transformation on polynomials and polynomial systems, on
                     10: --   solutions and on lists of solutions.
                     11:
                     12:   function Projective_Transformation ( p : Poly ) return Poly;
                     13:   function Projective_Transformation ( p : Poly_Sys ) return Poly_Sys;
                     14:
                     15:   procedure Projective_Transformation ( p : in out Poly );
                     16:   procedure Projective_Transformation ( p : in out Poly_Sys );
                     17:
                     18:   -- DESCRIPTION :
                     19:   --   An additional unknown is added so that each term has the same degree.
                     20:
                     21:   function Projective_Transformation ( s : Solution ) return Solution;
                     22:
                     23:   -- DESCRIPTION :
                     24:   --   Adds 1 as last component to the solution.
                     25:
                     26:   function Projective_Transformation
                     27:              ( sols : Solution_List ) return Solution_List;
                     28:   procedure Projective_Transformation ( sols : in out Solution_List );
                     29:
                     30:   -- DESCRIPTION :
                     31:   --   An additional component, equal to 1, is added to the solution vector.
                     32:
                     33:   function  Affine_Transformation ( s : Solution ) return Solution;
                     34:   procedure Affine_Transformation ( sols : in out Solution_List );
                     35:
                     36:   -- DESCRIPTION :
                     37:   --   All components of the solution vector will be divided by the last
                     38:   --   component, which is afterwards cut off.
                     39:
                     40: end Projective_Transformations;