Return to drivers_for_symmetric_lifting.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/drivers_for_symmetric_lifting.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 Drivers_for_Symmetric_Lifting is
        !             6:
        !             7:   procedure Symmetric_Lifting_Info;
        !             8:
        !             9:   -- DESCRIPTION :
        !            10:   --   Displays information on symmetric lifting on screen.
        !            11:
        !            12:   procedure Driver_for_Symmetric_Mixed_Volume_Computation
        !            13:                 ( file : in file_type; p : in Poly_Sys; byebye : in boolean;
        !            14:                   q : out Poly_Sys; qsols : out Solution_List;
        !            15:                   mv : out natural );
        !            16:
        !            17:   -- DESCRIPTION :
        !            18:   --   This procedure presents an interactive driver for the computation
        !            19:   --   of the mixed volume of a symmetric polynomial system, based on the
        !            20:   --   construction of a symmetric mixed subdivision.
        !            21:
        !            22:   -- ON ENTRY :
        !            23:   --   file       a file to put useful statistics on;
        !            24:   --   p          a polynomial system;
        !            25:   --   byebye     if true, then a bye-bye message will appear on screen,
        !            26:   --              if false, then no bye-bye.
        !            27:
        !            28:   -- ON RETURN :
        !            29:   --   q          a start system with randomly choosen coefficients,
        !            30:   --              which can be used in a coefficient homotopy;
        !            31:   --   qsols      the solutions of q;
        !            32:   --   mv         the BKK bound of p and the number of solutions of q.
        !            33:
        !            34: end Drivers_for_Symmetric_Lifting;