Return to mixed_homotopy_continuation.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/mixed_homotopy_continuation.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
                      3: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      4: with Trees_of_Vectors;                   use Trees_of_Vectors;
                      5:
                      6: package Mixed_Homotopy_Continuation is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package provides solvers based on the principle
                     10: --   of mixed continuation.
                     11:
                     12:   procedure Solve ( file : in file_type; p : in Laur_Sys;
                     13:                     bkk : out natural; sols : in out Solution_List );
                     14:
                     15:   -- ON ENTRY :
                     16:   --   file         a file for writing intermediate results;
                     17:   --   p            a Laurent polynomial system.
                     18:
                     19:   -- ON RETURN :
                     20:   --   bkk          the BKK bound of p;
                     21:   --   sols         the computed solutions.
                     22:
                     23:   procedure Solve ( file : in file_type; p : in Laur_Sys;
                     24:                     tv : in Tree_of_Vectors; bkk : out natural;
                     25:                     sols : in out Solution_List );
                     26:
                     27:   -- ON ENTRY :
                     28:   --   file         a file for writing intermediate results;
                     29:   --   p            a Laurent polynomial system;
                     30:   --   tv           the tree of vectors containing the useful directions.
                     31:
                     32:
                     33:   -- ON RETURN :
                     34:   --   bkk          the BKK bound of p;
                     35:   --   sols         the computed solutions.
                     36:
                     37: end Mixed_Homotopy_Continuation;