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.