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