with text_io; use text_io;
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
with Standard_Complex_Solutions; use Standard_Complex_Solutions;
with Symmetry_Group; use Symmetry_Group;
package Symmetric_BKK_Bound_Solvers is
-- DESCRIPTION :
-- This package offers functions for the black-box computation of the
-- BKK bound of a given polynomial system w.r.t. symmetry.
function Symmetric_BKK_Solve
( p : Poly_Sys; sign : boolean ) return Solution_List;
function Symmetric_BKK_Solve
( p : Poly_Sys; grp : List_of_Permutations; sign : boolean )
return Solution_List;
function Symmetric_BKK_Solve
( file : file_type; p : Poly_Sys; sign : boolean )
return Solution_List;
function Symmetric_BKK_Solve
( file : file_type; p : Poly_Sys;
grp : List_of_Permutations; sign : boolean )
return Solution_List;
-- DESCRIPTION :
-- This is a black box computation of all generating solutions,
-- based on the computation of the symmetric mixed subdivision.
-- If a file is specified, then intermediate results will be
-- write on that file.
-- If no group is given, then the group of all permutations is
-- assumed. Sign = true means that there is also a sign symmetry
-- to take into account.
end Symmetric_BKK_Bound_Solvers;