![]() ![]() | ![]() |
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.