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     ! 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.