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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>