with text_io; use text_io;
with Standard_Integer_Vectors; use Standard_Integer_Vectors;
with Standard_Complex_Laur_Systems; use Standard_Complex_Laur_Systems;
with Standard_Complex_Solutions; use Standard_Complex_Solutions;
with Integer_Mixed_Subdivisions; use Integer_Mixed_Subdivisions;
with Symmetry_Group; use Symmetry_Group;
package Symmetric_Polyhedral_Continuation is
-- DESCRIPTION :
-- Polyhedral continuation based on symmetric mixed subdivision.
function Symmetric_Mixed_Solve
( file : file_type; grp : List_of_Permutations; sign : boolean;
p : Laur_Sys; mixsub : Mixed_Subdivision;
n : natural; mix : Vector ) return Solution_List;
-- DESCRIPTION :
-- This function computes the generating solutions of a given
-- Laurent polynomial system, by making use of its mixed subdivision.
-- ON ENTRY :
-- file a file to write intermediate results on;
-- grp representations of the symmetry group;
-- sign if true, then there is sign symmetry;
-- p a lifted Laurent polynomial system;
-- mixsub the mixed subdivision of the supports of p;
-- n the number of polynomials in p;
-- mix(k) indicates the number of occurencies of the kth support.
-- REQUIRED :
-- The polynomials in p should be ordered according to the
-- information in the vector `mixed_type'!
function Symmetric_Mixed_Solve
( file : file_type; sign : boolean; p : Laur_Sys;
mixsub : Mixed_Subdivision;
n : natural; mix : Vector ) return Solution_List;
-- DESCRIPTION :
-- Here the general permutation group is assumed.
end Symmetric_Polyhedral_Continuation;