Return to multprec_integer_vectors.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices |
1.1 maekawa 1: with Multprec_Integer_Ring; 2: with Generic_Vectors; 3: 4: package Multprec_Integer_Vectors is new Generic_Vectors(Multprec_Integer_Ring); 5: 6: -- DESCRIPTION : 7: -- Defines vectors over the ring of multi-precision integer numbers.