Annotation of OpenXM_contrib/PHC/Ada/Homotopy/ts_homline.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 Homotopy_Evaluator_Packages;
5:
6: procedure ts_homline is
7:
8: -- DESCRIPTION :
9: -- Test the creation of an inline evaluator.
10:
11: lp,lq : Link_to_Poly_Sys;
12:
13: begin
14: new_line;
15: put_line("Interactive testing of the creation of an inline evaluator.");
16: new_line;
17: put_line("Reading the target system");
18: get(lp);
19: new_line;
20: put_line("Reading the start system");
21: get(lq);
22: new_line;
23: Homotopy_Evaluator_Packages.Create(lp.all,lq.all);
24: end ts_homline;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>