Return to ts_natvec.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/ts_natvec.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Standard_Natural_Vectors;
                      3: with Standard_Natural_Vectors_io;
                      4: with Standard_Natural_VecVecs;
                      5: with Standard_Natural_VecVecs_io;
                      6: with Multprec_Natural_Vectors;
                      7: with Multprec_Natural_Vectors_io;
                      8: with Multprec_Natural_VecVecs;
                      9: with Multprec_Natural_VecVecs_io;
                     10:
                     11: procedure ts_natvec is
                     12:
                     13: -- DESCRIPTION :
                     14: --   Tests the vector packages of standard and multi-precision naturals.
                     15:
                     16:   procedure Test_Standard_Vectors_io is
                     17:
                     18:     use Standard_Natural_Vectors,Standard_Natural_Vectors_io;
                     19:
                     20:     n : natural;
                     21:
                     22:   begin
                     23:     put("Give the dimension : "); get(n);
                     24:     declare
                     25:       nv : Vector(1..n);
                     26:     begin
                     27:       put("Give "); put(n,1); put_line(" natural numbers : "); get(nv);
                     28:       put("Your vector : "); put(nv); new_line;
                     29:     end;
                     30:   end Test_Standard_Vectors_io;
                     31:
                     32:   procedure Test_Standard_Addition is
                     33:
                     34:     use Standard_Natural_Vectors,Standard_Natural_Vectors_io;
                     35:
                     36:     n : natural;
                     37:
                     38:   begin
                     39:     put("Give the dimension : "); get(n);
                     40:     declare
                     41:       a,b,sum : Vector(1..n);
                     42:     begin
                     43:       put("Give "); put(n,1); put_line(" natural numbers : "); get(a);
                     44:       put("-> vector a  : "); put(a); new_line;
                     45:       put("Give "); put(n,1); put_line(" natural numbers : "); get(b);
                     46:       put("-> vector b  : "); put(b); new_line;
                     47:       sum := a+b;
                     48:       put(" The sum a+b : "); put(sum); new_line;
                     49:     end;
                     50:   end Test_Standard_Addition;
                     51:
                     52:   procedure Test_Standard_VecVecs_io is
                     53:
                     54:     use Standard_Natural_VecVecs,Standard_Natural_VecVecs_io;
                     55:
                     56:     n : natural;
                     57:
                     58:   begin
                     59:     put("Give the dimension : "); get(n);
                     60:     declare
                     61:       nv : VecVec(1..n);
                     62:     begin
                     63:       put("Give "); put(n,1); put_line(" natural vectors : "); get(n,nv);
                     64:       put_line("Your vector : "); put(nv); new_line;
                     65:     end;
                     66:   end Test_Standard_VecVecs_io;
                     67:
                     68:   procedure Test_Multprec_Vectors_io is
                     69:
                     70:     use Multprec_Natural_Vectors,Multprec_Natural_Vectors_io;
                     71:
                     72:     n : natural;
                     73:
                     74:   begin
                     75:     put("Give the dimension : "); get(n);
                     76:     declare
                     77:       nv : Vector(1..n);
                     78:     begin
                     79:       put("Give "); put(n,1); put_line(" natural numbers : "); get(nv);
                     80:       put_line("Your vector : "); put_line(nv);
                     81:     end;
                     82:   end Test_Multprec_Vectors_io;
                     83:
                     84:   procedure Test_Multprec_VecVecs_io is
                     85:
                     86:     use Multprec_Natural_VecVecs,Multprec_Natural_VecVecs_io;
                     87:
                     88:     n : natural;
                     89:
                     90:   begin
                     91:     put("Give the dimension : "); get(n);
                     92:     declare
                     93:       nv : VecVec(1..n);
                     94:     begin
                     95:       put("Give "); put(n,1); put_line(" natural vectors : "); get(n,nv);
                     96:       put_line("Your vector : "); put_line(nv);
                     97:     end;
                     98:   end Test_Multprec_VecVecs_io;
                     99:
                    100:   procedure Main is
                    101:
                    102:     ans : character;
                    103:
                    104:   begin
                    105:     new_line;
                    106:     put_line("Interactive testing of vectors of natural numbers.");
                    107:     loop
                    108:       new_line;
                    109:       put_line("Choose one of the following : ");
                    110:       put_line("  0. exit the program.");
                    111:       put_line("  1. io of vectors of standard natural numbers.");
                    112:       put_line("  2. addition of vectors of standard natural numbers.");
                    113:       put_line("  3. io of vectors of vectors of standard natural numbers.");
                    114:       put_line("  4. io of vectors of multi-precision natural numbers.");
                    115:       put_line("  5. io of vectors of vectors of multi-precision naturals.");
                    116:       put("Make your choice (0,1,2,3, or 4) : "); get(ans);
                    117:       case ans is
                    118:         when '1' => Test_Standard_Vectors_io;
                    119:         when '2' => Test_Standard_Addition;
                    120:         when '3' => Test_Standard_VecVecs_io;
                    121:         when '4' => Test_Multprec_Vectors_io;
                    122:         when '5' => Test_Multprec_VecVecs_io;
                    123:         when others => null;
                    124:       end case;
                    125:       exit when (ans = '0');
                    126:     end loop;
                    127:   end Main;
                    128:
                    129: begin
                    130:   Main;
                    131: end ts_natvec;