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