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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>