Return to standard_complex_poly_matrices.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_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.