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