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.