Return to standard_complex_poly_vectors.ads CVS log

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

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

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.