Return to drivers_for_symmetry_group_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry

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;