Return to standard_laur_poly_convertors.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials / standard_laur_poly_convertors.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:27 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Complex_Polynomials; with Standard_Complex_Laur_Polys; with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems; with Standard_Complex_Laur_Systems; use Standard_Complex_Laur_Systems; package Standard_Laur_Poly_Convertors is -- DESCRIPTION : -- This package contains routines for converting Laurent polynomials to -- polynomials with natural exponent vectors by shifting when necessary. function Laurent_Polynomial_to_Polynomial ( p : Standard_Complex_Laur_Polys.Poly ) return Standard_Complex_Polynomials.Poly; procedure Laurent_Polynomial_to_Polynomial ( l : in Standard_Complex_Laur_Polys.Poly; t : out Standard_Complex_Laur_Polys.Term; p : out Standard_Complex_Polynomials.Poly ); function Laurent_Polynomial_to_Polynomial ( l : Standard_Complex_Laur_Polys.Poly; t : Standard_Complex_Laur_Polys.Term ) return Standard_Complex_Polynomials.Poly; -- DESCRIPTION : -- Transforms a Laurent polynomial into an ordinary polynomial -- by multiplying by an appropriate monomial t. function Laurent_to_Polynomial_System ( p : Laur_Sys ) return Poly_Sys; -- DESCRIPTION : -- Transforms a Laurent polynomial system into a polynomial system. end Standard_Laur_Poly_Convertors;