Return to symmetric_randomize.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/symmetric_randomize.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
        !             2: with Symmetry_Group;                     use Symmetry_Group;
        !             3:
        !             4: function Symmetric_Randomize ( p : Laur_Sys; v,w : List_of_Permutations )
        !             5:                              return Laur_Sys;
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   This function returns a polynomial system with the same Newton
        !             9: --   polytopes, but with randomly generated coefficients, w.r.t. to
        !            10: --   the symmetry relations given by v and w.
        !            11:
        !            12: -- ON ENTRY :
        !            13: --   p         a polynomial system with n equations in n unknowns;
        !            14: --   v,w       representations of the symmetry group.
        !            15:
        !            16: -- ON RETURN :
        !            17: --   a symmetric randomized polynomial system.