Return to drivers_for_implicit_lifting.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/drivers_for_implicit_lifting.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 Drivers_for_Implicit_Lifting is
                      6:
                      7:   procedure Implicit_Lifting_Info;
                      8:
                      9:   -- DESCRIPTION :
                     10:   --   Displays information on the BKK Bound on screen.
                     11:
                     12:   procedure Driver_for_Mixture_Bezout_BKK
                     13:                 ( file : in file_type; p : in Poly_Sys; byebye : in boolean;
                     14:                   q : out Poly_Sys; qsols : out Solution_List;
                     15:                   b : out natural );
                     16:
                     17:   -- DESCRIPTION :
                     18:   --   This driver allows to compute a mixture between a generalized Bezout
                     19:   --   number and the BKK bound.
                     20:
                     21:   -- ON ENTRY :
                     22:   --   file       to write diagnostics on;
                     23:   --   p          a polynomial system;
                     24:   --   byebye     if true, then a bye-bye message will appear on screen,
                     25:   --              if false, then no bye-bye.
                     26:
                     27:   -- ON RETURN :
                     28:   --   q          a start system;
                     29:   --   qsols      the solutions of q;
                     30:   --   b          Bezout-BKK bound for the number of finite solutions of p.
                     31:
                     32: end Drivers_for_Implicit_Lifting;