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