Return to symmetric_polyhedral_continuation.ads CVS log

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

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

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             3: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
        !             4: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
        !             5: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
        !             6: with Symmetry_Group;                     use Symmetry_Group;
        !             7:
        !             8: package Symmetric_Polyhedral_Continuation is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   Polyhedral continuation based on symmetric mixed subdivision.
        !            12:
        !            13:   function Symmetric_Mixed_Solve
        !            14:                ( file : file_type; grp : List_of_Permutations; sign : boolean;
        !            15:                 p : Laur_Sys; mixsub : Mixed_Subdivision;
        !            16:                  n : natural; mix : Vector ) return Solution_List;
        !            17:
        !            18:   -- DESCRIPTION :
        !            19:   --   This function computes the generating solutions of a given
        !            20:   --   Laurent polynomial system, by making use of its mixed subdivision.
        !            21:
        !            22:   -- ON ENTRY :
        !            23:   --   file      a file to write intermediate results on;
        !            24:   --   grp       representations of the symmetry group;
        !            25:   --   sign      if true, then there is sign symmetry;
        !            26:   --   p         a lifted Laurent polynomial system;
        !            27:   --   mixsub    the mixed subdivision of the supports of p;
        !            28:   --   n         the number of polynomials in p;
        !            29:   --   mix(k)    indicates the number of occurencies of the kth support.
        !            30:
        !            31:   -- REQUIRED :
        !            32:   --   The polynomials in p should be ordered according to the
        !            33:   --   information in the vector `mixed_type'!
        !            34:
        !            35:   function Symmetric_Mixed_Solve
        !            36:                ( file : file_type; sign : boolean; p : Laur_Sys;
        !            37:                  mixsub : Mixed_Subdivision;
        !            38:                  n : natural; mix : Vector ) return Solution_List;
        !            39:
        !            40:   -- DESCRIPTION :
        !            41:   --   Here the general permutation group is assumed.
        !            42:
        !            43: end Symmetric_Polyhedral_Continuation;