![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift / mixed_homotopy_continuation.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 9 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Standard_Complex_Laur_Systems; use Standard_Complex_Laur_Systems; with Standard_Complex_Solutions; use Standard_Complex_Solutions; with Trees_of_Vectors; use Trees_of_Vectors; package Mixed_Homotopy_Continuation is -- DESCRIPTION : -- This package provides solvers based on the principle -- of mixed continuation. procedure Solve ( file : in file_type; p : in Laur_Sys; bkk : out natural; sols : in out Solution_List ); -- ON ENTRY : -- file a file for writing intermediate results; -- p a Laurent polynomial system. -- ON RETURN : -- bkk the BKK bound of p; -- sols the computed solutions. procedure Solve ( file : in file_type; p : in Laur_Sys; tv : in Tree_of_Vectors; bkk : out natural; sols : in out Solution_List ); -- ON ENTRY : -- file a file for writing intermediate results; -- p a Laurent polynomial system; -- tv the tree of vectors containing the useful directions. -- ON RETURN : -- bkk the BKK bound of p; -- sols the computed solutions. end Mixed_Homotopy_Continuation;