Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_own_start_system.ads, 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_Solutions; use Standard_Complex_Solutions;
4:
5: procedure Driver_for_Own_Start_System
6: ( file : in file_type; p : in Poly_Sys;
7: q : out Poly_Sys; qsols : in out Solution_List );
8:
9: -- DESCRIPTION :
10: -- This procedure implements an interactive driver for reading
11: -- a start system delivered by user.
12:
13: -- ON ENTRY :
14: -- file to write diagnostics on;
15: -- p a polynomial system.
16:
17: -- ON RETURN :
18: -- q a start system based on the chosen root count;
19: -- qsols the solutions of q.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>