Return to symmetric_bkk_bound_solvers.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/symmetric_bkk_bound_solvers.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: with Symmetry_Group;                     use Symmetry_Group;
                      5:
                      6: package Symmetric_BKK_Bound_Solvers is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package offers functions for the black-box computation of the
                     10: --   BKK bound of a given polynomial system w.r.t. symmetry.
                     11:
                     12:   function Symmetric_BKK_Solve
                     13:               ( p : Poly_Sys; sign : boolean ) return Solution_List;
                     14:
                     15:   function Symmetric_BKK_Solve
                     16:               ( p : Poly_Sys; grp : List_of_Permutations; sign : boolean )
                     17:               return Solution_List;
                     18:
                     19:   function Symmetric_BKK_Solve
                     20:               ( file : file_type; p : Poly_Sys; sign : boolean )
                     21:               return Solution_List;
                     22:
                     23:   function Symmetric_BKK_Solve
                     24:               ( file : file_type; p : Poly_Sys;
                     25:                 grp : List_of_Permutations; sign : boolean  )
                     26:               return Solution_List;
                     27:
                     28:   -- DESCRIPTION :
                     29:   --   This is a black box computation of all generating solutions,
                     30:   --   based on the computation of the symmetric mixed subdivision.
                     31:   --   If a file is specified, then intermediate results will be
                     32:   --   write on that file.
                     33:   --   If no group is given, then the group of all permutations is
                     34:   --   assumed.  Sign = true means that there is also a sign symmetry
                     35:   --   to take into account.
                     36:
                     37: end Symmetric_BKK_Bound_Solvers;