Return to bkk_bound_computations.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / bkk_bound_computations.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 10 months ago) by maekawa
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; with Standard_Complex_Solutions; use Standard_Complex_Solutions; package BKK_Bound_Computations is -- DESCRIPTION : -- This package exports some routines for computing the BKK bound -- and solving a random coefficient system by polyhedral continuation. -- These function are black box routines: the user does not have to -- worry about intermediate data structures. function BKK_by_Implicit_Lifting ( p : Poly_Sys ) return natural; function BKK_by_Implicit_Lifting ( file : file_type; p : Poly_Sys ) return natural; function BKK_by_Static_Lifting ( p : Poly_Sys ) return natural; function BKK_by_Static_Lifting ( file : file_type; p : Poly_Sys ) return natural; -- DESCRIPTION : -- If a file is specified, then the mixed subdivision will be written -- on that file. Either implicit or random static lifting can be used. function Solve_by_Implicit_Lifting ( p : Poly_Sys ) return Solution_List; function Solve_by_Implicit_Lifting ( file : file_type; p : Poly_Sys ) return Solution_List; function Solve_by_Static_Lifting ( p : Poly_Sys ) return Solution_List; function Solve_by_Static_Lifting ( file : file_type; p : Poly_Sys ) return Solution_List; -- DESCRIPTION : -- If a file is specified, then intermediate results will be written -- on that file. Either implicit or random static lifting can be used. end BKK_Bound_Computations;