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     ! 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;