Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_own_start_system.ads, Revision 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>