with Symmetry_Group; use Symmetry_Group;
package Drivers_for_Symmetry_Group_io is
-- DESCRIPTION :
-- This package offers two interactive drivers for the input of
-- a symmetry group.
procedure Read_Permutation_Group
( n : in natural; g,v : in out List_of_Permutations;
allperms : out boolean );
-- DESCRIPTION :
-- Reads a permutation group, generated by the permutations in g.
-- ON ENTRY :
-- n dimension of the vector space.
-- ON RETURN :
-- g generating list of permutations;
-- v the full list of permutations, if requested,
-- otherwise v = g;
-- allperms if true, then g generates the full permutation group.
procedure Read_Symmetry_Group
( n : in natural; g,v : in out List_of_Permutations;
allperms,signsym,allsigns : out boolean );
-- DESCRIPTION :
-- Reads first a permutation group, and in addition to this allows to
-- enter sign permutations. The parameters have the same meaning as the
-- ones listed above. Only the additional parameters will be specified.
-- ON RETURN :
-- signsym if true, then g contains sign permutations;
-- allsigns if true, then g generates the full sign permutation group.
end Drivers_for_Symmetry_Group_io;