Return to ts_intvec.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Matrices / ts_intvec.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:24 2000 UTC (23 years, 8 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io,integer_io; use text_io,integer_io; with Standard_Integer_Vectors; with Standard_Integer_Vectors_io; with Standard_Integer_VecVecs; with Standard_Integer_VecVecs_io; with Multprec_Integer_Vectors; with Multprec_Integer_Vectors_io; with Multprec_Integer_Vecvecs; with Multprec_Integer_Vecvecs_io; procedure ts_intvec is -- DESCRIPTION : -- Tests the vector packages of standard and multi-precision integers. procedure Test_Standard_Vectors_io is use Standard_Integer_Vectors,Standard_Integer_Vectors_io; n : natural; begin put("Give the dimension : "); get(n); declare nv : Vector(1..n); begin put("Give "); put(n,1); put_line(" integer numbers : "); get(nv); put("Your vector : "); put(nv); new_line; end; end Test_Standard_Vectors_io; procedure Test_Standard_VecVecs_io is use Standard_Integer_VecVecs,Standard_Integer_VecVecs_io; n : natural; begin put("Give the dimension : "); get(n); declare nv : VecVec(1..n); begin put("Give "); put(n,1); put_line(" integer vectors : "); get(n,nv); put_line("Your vector : "); put(nv); new_line; end; end Test_Standard_VecVecs_io; procedure Test_Multprec_Vectors_io is use Multprec_Integer_Vectors,Multprec_Integer_Vectors_io; n : natural; begin put("Give the dimension : "); get(n); declare nv : Vector(1..n); begin put("Give "); put(n,1); put_line(" integer numbers : "); get(nv); put_line("Your vector : "); put_line(nv); end; end Test_Multprec_Vectors_io; procedure Test_Multprec_VecVecs_io is use Multprec_Integer_VecVecs,Multprec_Integer_VecVecs_io; n : natural; begin put("Give the dimension : "); get(n); declare nv : VecVec(1..n); begin put("Give "); put(n,1); put_line(" integer vectors : "); get(n,nv); put_line("Your vector : "); put_line(nv); end; end Test_Multprec_VecVecs_io; procedure Main is ans : character; begin new_line; put_line("Interactive testing of vectors of integer numbers."); loop new_line; put_line("Choose one of the following : "); put_line(" 0. exit this program."); put_line(" 1. io of vectors of standard integer numbers."); put_line(" 2. io of vectors of vectors of standard integer numbers."); put_line(" 3. io of vectors of multi-precision integer numbers."); put_line(" 4. io of vectors of vectors of multi-precision integers."); put("Make your choice (0,1,2,3, or 4) : "); get(ans); case ans is when '1' => Test_Standard_Vectors_io; when '2' => Test_Standard_VecVecs_io; when '3' => Test_Multprec_Vectors_io; when '4' => Test_Multprec_VecVecs_io; when others => null; end case; exit when ans = '0'; end loop; end Main; begin Main; end ts_intvec;