Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/drivers_for_symmetry_group_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with Symmetry_Group; use Symmetry_Group;
2:
3: package Drivers_for_Symmetry_Group_io is
4:
5: -- DESCRIPTION :
6: -- This package offers two interactive drivers for the input of
7: -- a symmetry group.
8:
9: procedure Read_Permutation_Group
10: ( n : in natural; g,v : in out List_of_Permutations;
11: allperms : out boolean );
12:
13: -- DESCRIPTION :
14: -- Reads a permutation group, generated by the permutations in g.
15:
16: -- ON ENTRY :
17: -- n dimension of the vector space.
18:
19: -- ON RETURN :
20: -- g generating list of permutations;
21: -- v the full list of permutations, if requested,
22: -- otherwise v = g;
23: -- allperms if true, then g generates the full permutation group.
24:
25: procedure Read_Symmetry_Group
26: ( n : in natural; g,v : in out List_of_Permutations;
27: allperms,signsym,allsigns : out boolean );
28:
29: -- DESCRIPTION :
30: -- Reads first a permutation group, and in addition to this allows to
31: -- enter sign permutations. The parameters have the same meaning as the
32: -- ones listed above. Only the additional parameters will be specified.
33:
34: -- ON RETURN :
35: -- signsym if true, then g contains sign permutations;
36: -- allsigns if true, then g generates the full sign permutation group.
37:
38: end Drivers_for_Symmetry_Group_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>