![]() ![]() | ![]() |
1.1 maekawa 1: with Generic_VecVecs; 2: with Multprec_Natural_Ring; 3: with Multprec_Natural_Vectors; 4: 5: package Multprec_Natural_VecVecs is 6: new Generic_VecVecs(Multprec_Natural_Ring,Multprec_Natural_Vectors); 7: 8: -- DESCRIPTION : 9: -- Defines vectors of vectors of multi-precision natural numbers.