Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_integer_vectors.ads, Revision 1.1.1.1
1.1 maekawa 1: with Multprec_Integer_Ring;
2: with Generic_Vectors;
3:
4: package Multprec_Integer_Vectors is new Generic_Vectors(Multprec_Integer_Ring);
5:
6: -- DESCRIPTION :
7: -- Defines vectors over the ring of multi-precision integer numbers.