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