Return to standard_laur_poly_convertors.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_laur_poly_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_Laur_Poly_Convertors is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package contains routines for converting Laurent polynomials to
                     10: --   polynomials with natural exponent vectors by shifting when necessary.
                     11:
                     12:   function Laurent_Polynomial_to_Polynomial
                     13:               ( p : Standard_Complex_Laur_Polys.Poly )
                     14:               return Standard_Complex_Polynomials.Poly;
                     15:
                     16:   procedure Laurent_Polynomial_to_Polynomial
                     17:              ( l : in Standard_Complex_Laur_Polys.Poly;
                     18:                t : out Standard_Complex_Laur_Polys.Term;
                     19:                p : out Standard_Complex_Polynomials.Poly );
                     20:
                     21:   function Laurent_Polynomial_to_Polynomial
                     22:             ( l : Standard_Complex_Laur_Polys.Poly;
                     23:                t : Standard_Complex_Laur_Polys.Term )
                     24:              return Standard_Complex_Polynomials.Poly;
                     25:
                     26:   -- DESCRIPTION :
                     27:   --   Transforms a Laurent polynomial into an ordinary polynomial
                     28:   --   by multiplying by an appropriate monomial t.
                     29:
                     30:   function Laurent_to_Polynomial_System ( p : Laur_Sys ) return Poly_Sys;
                     31:
                     32:   -- DESCRIPTION :
                     33:   --   Transforms a Laurent polynomial system into a polynomial system.
                     34:
                     35: end Standard_Laur_Poly_Convertors;