![]() ![]() | ![]() |
1.1 maekawa 1: with Multprec_Floating_Ring; 2: with Generic_Vectors; 3: 4: package Multprec_Floating_Vectors is 5: new Generic_Vectors(Multprec_Floating_Ring); 6: 7: -- DESCRIPTION : 8: -- Defines vectors over the ring of multi-precision floating-point numbers.