Return to drivers_for_orbits_of_solutions.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
with Permutations,Symmetry_Group;        use Permutations,Symmetry_Group;

package Drivers_for_Orbits_of_Solutions is

-- DESCRIPTION :
--   This package provides two drivers for reporting on the
--   computation of the orbits of a given list of solutions.

  procedure Driver_for_Orbits_of_Solutions
                  ( file : in file_type; sols : in out Solution_List;
                    v : in List_of_Permutations; allperms,signsym : in boolean;
                    tol : in double_float );

  procedure Driver_for_Orbits_of_Solutions
                  ( file : in file_type; sols : in out Solution_List;
                    v : in List_of_Permutations; allperms,signsym : in boolean;
                    tol : in double_float; orbi : out Permutation );

  -- DESCRIPTION :
  --   Computes the orbits of the given list of solutions, creates a
  --   list with only the generating solutions and reports on file.

  -- ON ENTRY :
  --   file         to write the results on, must be opened for output;
  --   sols         a solution list;
  --   v            list of permutations;
  --   allperms     when true, then v is the full permutation group;
  --   signsym      when true, there is additional sign symmetry;
  --   tol          tolerance for comparing the solution vectors.

  -- ON RETURN :
  --   sols         generating list of solutions;
  --   orbi         permutation vector, indicating the orbits, if provided
  --                as output parameter.

end Drivers_for_Orbits_of_Solutions;