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     ! 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;