Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_laur_poly_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_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>