![]() ![]() | ![]() |
1.1 ! maekawa 1: with Generic_Laurent_Polynomials; ! 2: with Multprec_Complex_Ring; ! 3: ! 4: package Multprec_Complex_Laur_Polys is ! 5: new Generic_Laurent_Polynomials(Multprec_Complex_Ring); ! 6: ! 7: -- DESCRIPTION : ! 8: -- Defines the Laurent polynomials with multi-precision complex coefficients.