Return to multprec_complex_laur_systems.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/multprec_complex_laur_systems.ads, Revision 1.1.1.1

1.1       maekawa     1: with Multprec_Complex_Ring;
                      2: with Multprec_Complex_Laur_Polys;
                      3: with Generic_Laur_Poly_Systems;
                      4:
                      5: package Multprec_Complex_Laur_Systems is
                      6:   new Generic_Laur_Poly_Systems(Multprec_Complex_Ring,
                      7:                                 Multprec_Complex_Laur_Polys);
                      8:
                      9: -- DESCRIPTION :
                     10: --   Defines Laurent polynomial systems over multi-precision complex numbers.