Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/ts_polmat.adb, Revision 1.1.1.1
1.1 maekawa 1: with text_io,integer_io; use text_io,integer_io;
2: with Symbol_Table;
3: with Standard_Complex_Poly_Matrices; use Standard_Complex_Poly_Matrices;
4: with Standard_Complex_Poly_Matrices_io; use Standard_Complex_Poly_Matrices_io;
5:
6: procedure ts_polmat is
7:
8: procedure Test_io ( n,m : in natural ) is
9:
10: pm : Matrix(1..n,1..m);
11:
12: begin
13: put("Give "); put(n*m,1); put_line(" polynomials : ");
14: get(pm);
15: put_line("The matrix of polynomials : ");
16: put(pm);
17: end Test_io;
18:
19: procedure Main is
20:
21: n,m,nb : natural;
22:
23: begin
24: put("Give number of rows : "); get(n);
25: put("Give number of columns : "); get(m);
26: put("Give number of symbols : "); get(nb);
27: Symbol_Table.Init(nb);
28: Test_io(n,m);
29: end Main;
30:
31: begin
32: new_line;
33: put_line("Testing input/output of matrices of polynomials.");
34: new_line;
35: Main;
36: end ts_polmat;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>