Return to driver_for_polyhedral_continuation.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/driver_for_polyhedral_continuation.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:
        !             4: procedure Driver_for_Polyhedral_Continuation
        !             5:                ( file : in file_type; p : in Poly_Sys; k : in natural;
        !             6:                  byebye : in boolean;
        !             7:                  q : out Poly_Sys; qfile,solsfile : in out file_type;
        !             8:                  tosolve,ranstart,contrep : out boolean );
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   Prepares the settings for polyhedral continuation.
        !            12:
        !            13: -- ON ENTRY :
        !            14: --   file        output file, must be opened for output;
        !            15: --   p           a polynomial system;
        !            16: --   k           if k > 0, then q will not be written on file;
        !            17: --   byebye      if true, then a bye-bye message will appear on screen,
        !            18: --               if false, then no bye-bye.
        !            19:
        !            20: -- ON RETURN :
        !            21: --   q           system to solve, if tosolve=true;
        !            22: --   qfile       output file for q, is opened for output;
        !            23: --   solsfile    output file for solutions of q, is opened for output;
        !            24: --   tosolve     true if polyhedral will be applied, false otherwise;
        !            25: --   ranstart    true if q is random coefficient start system, false otherwise;
        !            26: --   contrep     true if output information is wanted during continuation.