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