Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_complex_poly_matrices.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Complex_Poly_Ring; use Standard_Complex_Poly_Ring;
2: with Standard_Complex_Poly_Vectors;
3: with Generic_Matrices;
4:
5: package Standard_Complex_Poly_Matrices is
6: new Generic_Matrices(Standard_Complex_Poly_Ring,
7: Standard_Complex_Poly_Vectors);
8:
9: -- DESCRIPTION :
10: -- Defines matrices over the ring of standard complex polynomials.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>