Return to driver_for_root_counts.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_root_counts.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_Root_Counts
                      6:              ( file : in file_type; p,q : in out Poly_Sys;
                      7:                own : in boolean;
                      8:                qsols : in out Solution_List; roco : out natural );
                      9:
                     10: -- DESCRIPTION :
                     11: --   This procedure implements an interactive driver for several
                     12: --   root counting methods.
                     13:
                     14: -- ON ENTRY :
                     15: --   file      to write diagnostics on;
                     16: --   p         a polynomial system;
                     17: --   own       if true, then the user has the possibility to give
                     18: --             an own start system.
                     19:
                     20: -- ON RETURN :
                     21: --   p         has eventually been made homogeneous;
                     22: --   q         a start system based on the chosen root count;
                     23: --   qsols     the solutions of q;
                     24: --   roco      the root count.