Return to multprec_natural_matrices.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices |
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.