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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>