Return to standard_complex_poly_vectors.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials |
1.1 maekawa 1: with Standard_Complex_Poly_Ring; 2: with Generic_Vectors; 3: 4: package Standard_Complex_Poly_Vectors is 5: new Generic_Vectors(Standard_Complex_Poly_Ring); 6: 7: -- DESCRIPTION : 8: -- Defines vectors over the ring of standard complex polynomials.