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     ! 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;