Return to linear_symmetric_reduction.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/linear_symmetric_reduction.ads, Revision 1.1.1.1

1.1       maekawa     1: with Symmetry_Group;                     use Symmetry_Group;
                      2: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      3:
                      4: package Linear_Symmetric_Reduction is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package contains two routines that enable the faster
                      8: --   solution of a symmetric product system, by extracting the
                      9: --   generating positions.
                     10:
                     11:   function Linear_Symmetric_Reduce ( sign : boolean ) return List;
                     12:   function Linear_Symmetric_Reduce ( v,w : List_of_Permutations ) return List;
                     13:
                     14:   -- DESCRIPTION :
                     15:   --   Returns the generating list of positions in the random product system.
                     16:
                     17:   -- REQUIRED : data in package Random_Product_System is not empty.
                     18:
                     19:   procedure Linear_Symmetric_Reduce ( lp : in out List; sign : in boolean );
                     20:   procedure Linear_Symmetric_Reduce
                     21:                ( v,w : in List_of_Permutations; lp : in out List );
                     22:
                     23:   -- DESCRIPTION :
                     24:   --   Given a (G,V,W)-symmetric product system, a list of positions
                     25:   --   that indicate the generating subsystems will be returned.
                     26:
                     27:   -- REQUIRED : data in package Random_Product_System is not empty.
                     28:
                     29:   -- ON ENTRY :
                     30:   --   v,w       group representations,
                     31:   --             if not provided, then the full permutation group is assumed;
                     32:   --   sign      if true, then there is also sign symmetry to consider;
                     33:   --   lp        a list of positions, indicating the useful
                     34:   --             linear systems in the product system.
                     35:
                     36:   -- ON RETURN :
                     37:   --   lp        a sublist of the former list,
                     38:   --             contains only the generating linear systems.
                     39:
                     40: end Linear_Symmetric_Reduction;