Return to standard_poly_laur_convertors.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_poly_laur_convertors.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Polynomials;
                      2: with Standard_Complex_Laur_Polys;
                      3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      4: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
                      5:
                      6: package Standard_Poly_Laur_Convertors is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package contains routines for converting ordinary polynomials
                     10: --   into Laurent polynomials.
                     11:
                     12:   function Polynomial_to_Laurent_Polynomial
                     13:              ( p : Standard_Complex_Polynomials.Poly )
                     14:              return Standard_Complex_Laur_Polys.Poly;
                     15:
                     16:   -- DESCRIPTION :
                     17:   --   Transforms a polynomial into a Laurent polynomial.
                     18:
                     19:   function Polynomial_to_Laurent_System ( p : Poly_Sys ) return Laur_Sys;
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   Transforms a polynomial system into a Laurent polynomial system.
                     23:
                     24: end Standard_Poly_Laur_Convertors;