Return to ts_natmat.adb CVS log

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

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

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Standard_Natural_Matrices;
                      3: with Standard_Natural_Matrices_io;
                      4: with Multprec_Natural_Matrices;
                      5: with Multprec_Natural_Matrices_io;
                      6:
                      7: procedure ts_natmat is
                      8:
                      9: -- DESCRIPTION :
                     10: --   Tests the matrix packages of standard and multi-precision naturals.
                     11:
                     12:   procedure Test_Standard_io is
                     13:
                     14:     use Standard_Natural_Matrices,Standard_Natural_Matrices_io;
                     15:
                     16:     n,m : natural;
                     17:
                     18:   begin
                     19:     put("Give the number of rows : "); get(n);
                     20:     put("Give the number of columns : "); get(m);
                     21:     declare
                     22:       mat : Matrix(1..n,1..m);
                     23:     begin
                     24:       put("Give "); put(n,1); put("x"); put(m,1);
                     25:       put_line(" natural matrix : "); get(mat);
                     26:       put_line("Your matrix : "); put(mat); new_line;
                     27:     end;
                     28:   end Test_Standard_io;
                     29:
                     30:   procedure Test_Multprec_io is
                     31:
                     32:     use Multprec_Natural_Matrices,Multprec_Natural_Matrices_io;
                     33:
                     34:     n,m : natural;
                     35:
                     36:   begin
                     37:     put("Give the number of rows : "); get(n);
                     38:     put("Give the number of columns : "); get(m);
                     39:     declare
                     40:       mat : Matrix(1..n,1..m);
                     41:     begin
                     42:       put("Give "); put(n,1); put("x"); put(m,1);
                     43:       put_line(" natural matrix : "); get(mat);
                     44:       put_line("Your matrix : "); put(mat); new_line;
                     45:     end;
                     46:   end Test_Multprec_io;
                     47:
                     48:   procedure Main is
                     49:
                     50:     ans : character;
                     51:
                     52:   begin
                     53:     new_line;
                     54:     put_line("Interactive testing of matrices of natural numbers");
                     55:     new_line;
                     56:     loop
                     57:       put_line("Choose one of the following : ");
                     58:       put_line("  1. io of matrices of standard natural numbers.");
                     59:       put_line("  2. io of matrices of multi-precision natural numbers.");
                     60:       put("Make your choice (1/2) : "); get(ans);
                     61:       case ans is
                     62:         when '1' => Test_Standard_io;
                     63:         when '2' => Test_Multprec_io;
                     64:         when others => null;
                     65:       end case;
                     66:       put("Do you want more tests ? (y/n) "); get(ans);
                     67:       exit when ans /= 'y';
                     68:     end loop;
                     69:   end Main;
                     70:
                     71: begin
                     72:   Main;
                     73: end ts_natmat;