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.