File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports / ts_lstvec.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:28 2000 UTC (23 years, 10 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD Changes since 1.1: +0 -0
lines
Import the second public release of PHCpack.
OKed by Jan Verschelde.
|
with text_io,integer_io; use text_io,integer_io;
with Standard_Natural_Vectors; use Standard_Natural_Vectors;
with Standard_Natural_Vectors_io; use Standard_Natural_Vectors_io;
with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
with Lists_of_Integer_Vectors_io; use Lists_of_Integer_Vectors_io;
with Lists_of_Floating_Vectors; use Lists_of_Floating_Vectors;
with Lists_of_Floating_Vectors_io; use Lists_of_Floating_Vectors_io;
with Arrays_of_Integer_Vector_Lists; use Arrays_of_Integer_Vector_Lists;
with Arrays_of_Integer_Vector_Lists_io; use Arrays_of_Integer_Vector_Lists_io;
with Arrays_of_Floating_Vector_Lists; use Arrays_of_Floating_Vector_Lists;
with Arrays_of_Floating_Vector_Lists_io; use Arrays_of_Floating_Vector_Lists_io;
procedure ts_lstvec is
-- DESCRIPTION :
-- Test on operations on lists of links to vectors.
procedure Test_Integer_List_io is
m,n : natural;
l : Lists_of_Integer_Vectors.List;
begin
new_line;
put_line("Testing input/output of lists of links to integer vectors.");
new_line;
put("Give the dimension of the vectors : "); get(n);
put("Give the number of vectors : "); get(m);
put("Give "); put(m,1); put(" "); put(n,1); put_line("-vectors :");
get(n,m,l);
put_line("Your list : "); put(l);
end Test_Integer_List_io;
procedure Test_Floating_List_io is
m,n : natural;
l : Lists_of_Floating_Vectors.List;
begin
new_line;
put_line("Testing input/output of lists of links to floating vectors.");
new_line;
put("Give the dimension of the vectors : "); get(n);
put("Give the number of vectors : "); get(m);
put("Give "); put(m,1); put(" "); put(n,1); put_line("-vectors :");
get(n,m,l);
put_line("Your list : "); put(l);
end Test_Floating_List_io;
procedure Test_Integer_Array_List_io is
n : natural;
begin
new_line;
put_line("Testing input/output of arrays of lists of integer vectors.");
new_line;
put("Give the dimension : "); get(n);
declare
l : Arrays_of_Integer_Vector_Lists.Array_of_Lists(1..n);
m : Standard_Natural_Vectors.Vector(1..n);
begin
put("Give the cardinalities of the lists : "); get(m);
put_line("Give the lists : "); get(n,m,l);
put_line("Your lists : "); put(l);
end;
end Test_Integer_Array_List_io;
procedure Test_Floating_Array_List_io is
n : natural;
begin
new_line;
put_line("Testing input/output of arrays of lists of floating vectors.");
new_line;
put("Give the dimension : "); get(n);
declare
l : Arrays_of_Floating_Vector_Lists.Array_of_Lists(1..n);
m : Standard_Natural_Vectors.Vector(1..n);
begin
put("Give the cardinalities of the lists : "); get(m);
put_line("Give the lists : "); get(n,m,l);
put_line("Your lists : "); put(l);
end;
end Test_Floating_Array_List_io;
procedure Main is
ans : character;
begin
new_line;
put_line("Interactive testing of lists of links to vectors.");
loop
new_line;
put_line("Choose one of the following : ");
put_line(" 0. Exit this program.");
put_line(" 1. i/o for lists of links to standard integer vectors.");
put_line(" 2. i/o for lists of links to standard floating vectors.");
put_line(" 3. i/o for arrays of standard integer vector lists.");
put_line(" 4. i/o for arrays of standard floating vector lists.");
put("Type 0,1,2,3 or 4 to select : "); get(ans);
exit when (ans = '0');
case ans is
when '1' => Test_Integer_List_io;
when '2' => Test_Floating_List_io;
when '3' => Test_Integer_Array_List_io;
when '4' => Test_Floating_Array_List_io;
when others => null;
end case;
end loop;
end Main;
begin
Main;
end ts_lstvec;