Return to black_polynomial_continuations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Continuation/black_polynomial_continuations.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: package Black_Polynomial_Continuations is
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   This package provides two procedure for performing polynomial
        !             9: --   continuation in batch processing mode.  They mainly differ by the fact
        !            10: --   that the homotopy might be already provided in the input parameter.
        !            11:
        !            12:   procedure Black_Box_Polynomial_Continuation
        !            13:                   ( infile,outfile : in file_type; pocotime : out duration );
        !            14:
        !            15:   procedure Black_Box_Polynomial_Continuation
        !            16:                   ( outfile : in file_type;
        !            17:                     p,q : in Poly_Sys; sols : in out Solution_List;
        !            18:                     pocotime : out duration );
        !            19:
        !            20:   -- DESCRIPTION :
        !            21:   --   Performs polynomial continuation with default settings.
        !            22:
        !            23:   -- REQUIRED :
        !            24:   --   Both files must be opened respectively for input and output.
        !            25:
        !            26:   -- ON ENTRY :
        !            27:   --   outfile      file to write the results on;
        !            28:   --   p            target polynomial system;
        !            29:   --   q            a start system for solving p;
        !            30:   --   sols         the solutions of q.
        !            31:
        !            32:   -- ON RETURN :
        !            33:   --   sols         the solutions of p;
        !            34:   --   pocotime     elapsed user cpu time for polyhedral continuation.
        !            35:
        !            36: end Black_Polynomial_Continuations;