Return to multprec_natural_vectors_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_natural_vectors_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with Multprec_Natural_Ring_io;
                      2: with Multprec_Natural_Vectors;
                      3: with Generic_Vectors_io;
                      4:
                      5: package Multprec_Natural_Vectors_io is
                      6:   new Generic_Vectors_io(Multprec_Natural_Ring_io,Multprec_Natural_Vectors);
                      7:
                      8: -- DESCRIPTION :
                      9: --   Defines input/output of vectors over the ring of multi-precision
                     10: --   natural numbers.