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