Return to multprec_complex_laur_systems.ads CVS log

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

Initial revision

with Multprec_Complex_Ring;
with Multprec_Complex_Laur_Polys;
with Generic_Laur_Poly_Systems;

package Multprec_Complex_Laur_Systems is
  new Generic_Laur_Poly_Systems(Multprec_Complex_Ring,
                                Multprec_Complex_Laur_Polys);

-- DESCRIPTION :
--   Defines Laurent polynomial systems over multi-precision complex numbers.