Return to bkk_bound_computations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/bkk_bound_computations.ads, Revision 1.1.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 BKK_Bound_Computations is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package exports some routines for computing the BKK bound
                      9: --   and solving a random coefficient system by polyhedral continuation.
                     10: --   These function are black box routines: the user does not have to
                     11: --   worry about intermediate data structures.
                     12:
                     13:   function BKK_by_Implicit_Lifting ( p : Poly_Sys ) return natural;
                     14:   function BKK_by_Implicit_Lifting ( file : file_type; p : Poly_Sys )
                     15:                                    return natural;
                     16:   function BKK_by_Static_Lifting ( p : Poly_Sys ) return natural;
                     17:   function BKK_by_Static_Lifting ( file : file_type; p : Poly_Sys )
                     18:                                  return natural;
                     19:   -- DESCRIPTION :
                     20:   --   If a file is specified, then the mixed subdivision will be written
                     21:   --   on that file.  Either implicit or random static lifting can be used.
                     22:
                     23:   function Solve_by_Implicit_Lifting ( p : Poly_Sys ) return Solution_List;
                     24:   function Solve_by_Implicit_Lifting ( file : file_type; p : Poly_Sys )
                     25:                                      return Solution_List;
                     26:   function Solve_by_Static_Lifting ( p : Poly_Sys ) return Solution_List;
                     27:   function Solve_by_Static_Lifting ( file : file_type; p : Poly_Sys )
                     28:                                    return Solution_List;
                     29:   -- DESCRIPTION :
                     30:   --   If a file is specified, then intermediate results will be written
                     31:   --   on that file.  Either implicit or random static lifting can be used.
                     32:
                     33: end BKK_Bound_Computations;