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