Annotation of OpenXM_contrib/PHC/Ada/Schubert/ts_brackmons.adb, Revision 1.1.1.1
1.1 maekawa 1: with text_io,integer_io; use text_io,integer_io;
2: with Brackets,Brackets_io; use Brackets,Brackets_io;
3: with Bracket_Monomials; use Bracket_Monomials;
4: with Bracket_Monomials_io; use Bracket_Monomials_io;
5:
6: procedure ts_brackmons is
7:
8: procedure Main is
9:
10: d,m : natural;
11: bm,bm_last : Bracket_Monomial;
12:
13: begin
14: put("GIve the number of entries in the brackets : "); get(d);
15: put("Give the number of brackets : "); get(m);
16: for i in 1..m loop
17: declare
18: b : Bracket(1..d);
19: si : integer;
20: begin
21: put("Give "); put(d,1); put(" numbers for the ");
22: put(i,1); put("th bracket : "); get(b);
23: Multiply(bm,b);
24: end;
25: end loop;
26: put_line("The bracket monomial : "); put(bm); new_line;
27: end Main;
28:
29: begin
30: Main;
31: end ts_brackmons;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>