Annotation of OpenXM_contrib/PHC/Ada/Homotopy/ts_sols.adb, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
3: with Standard_Complex_Poly_Systems_io; use Standard_Complex_Poly_Systems_io;
4: with Standard_Complex_Solutions; use Standard_Complex_Solutions;
5: with Standard_Complex_Solutions_io; use Standard_Complex_Solutions_io;
6:
7: procedure ts_sols is
8:
9: -- DESCRIPTION :
10: -- Test on input/output of solution lists.
11:
12: lp : Link_to_Poly_Sys;
13: sols : Solution_List;
14:
15: begin
16: new_line;
17: put_line("Reading the polynomial system.");
18: get(lp);
19: new_line;
20: Read(sols);
21: new_line;
22: put_line("The solutions : ");
23: put(sols);
24: end ts_sols;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>