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     ! 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;