Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/symmetric_bkk_bound_solvers.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: 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>