Return to multprec_natural_matrices.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_natural_matrices.ads, Revision 1.1

1.1     ! maekawa     1: with Multprec_Natural_Ring;
        !             2: with Multprec_Natural_Vectors;
        !             3: with Generic_Matrices;
        !             4:
        !             5: package Multprec_Natural_Matrices is
        !             6:   new Generic_Matrices(Multprec_Natural_Ring,
        !             7:                        Multprec_Natural_Vectors);
        !             8:
        !             9: -- DESCRIPTION :
        !            10: --   Defines matrices over the ring of multi-precision natural numbers.