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     ! 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;