Return to drivers_for_orbits_of_solutions.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/drivers_for_orbits_of_solutions.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
                      3: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      4: with Permutations,Symmetry_Group;        use Permutations,Symmetry_Group;
                      5:
                      6: package Drivers_for_Orbits_of_Solutions is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package provides two drivers for reporting on the
                     10: --   computation of the orbits of a given list of solutions.
                     11:
                     12:   procedure Driver_for_Orbits_of_Solutions
                     13:                   ( file : in file_type; sols : in out Solution_List;
                     14:                     v : in List_of_Permutations; allperms,signsym : in boolean;
                     15:                     tol : in double_float );
                     16:
                     17:   procedure Driver_for_Orbits_of_Solutions
                     18:                   ( file : in file_type; sols : in out Solution_List;
                     19:                     v : in List_of_Permutations; allperms,signsym : in boolean;
                     20:                     tol : in double_float; orbi : out Permutation );
                     21:
                     22:   -- DESCRIPTION :
                     23:   --   Computes the orbits of the given list of solutions, creates a
                     24:   --   list with only the generating solutions and reports on file.
                     25:
                     26:   -- ON ENTRY :
                     27:   --   file         to write the results on, must be opened for output;
                     28:   --   sols         a solution list;
                     29:   --   v            list of permutations;
                     30:   --   allperms     when true, then v is the full permutation group;
                     31:   --   signsym      when true, there is additional sign symmetry;
                     32:   --   tol          tolerance for comparing the solution vectors.
                     33:
                     34:   -- ON RETURN :
                     35:   --   sols         generating list of solutions;
                     36:   --   orbi         permutation vector, indicating the orbits, if provided
                     37:   --                as output parameter.
                     38:
                     39: end Drivers_for_Orbits_of_Solutions;