Return to driver_for_own_start_system.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

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.