Return to driver_for_polyhedral_continuation.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;

procedure Driver_for_Polyhedral_Continuation
               ( file : in file_type; p : in Poly_Sys; k : in natural;
                 byebye : in boolean;
                 q : out Poly_Sys; qfile,solsfile : in out file_type;
                 tosolve,ranstart,contrep : out boolean );

-- DESCRIPTION :
--   Prepares the settings for polyhedral continuation.

-- ON ENTRY :
--   file        output file, must be opened for output;
--   p           a polynomial system;
--   k           if k > 0, then q will not be written on file;
--   byebye      if true, then a bye-bye message will appear on screen,
--               if false, then no bye-bye.

-- ON RETURN :
--   q           system to solve, if tosolve=true;
--   qfile       output file for q, is opened for output;
--   solsfile    output file for solutions of q, is opened for output;
--   tosolve     true if polyhedral will be applied, false otherwise;
--   ranstart    true if q is random coefficient start system, false otherwise;
--   contrep     true if output information is wanted during continuation.