Return to symmetric_set_structure.ads CVS log

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

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

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Symmetry_Group;                     use Symmetry_Group;
                      3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      4:
                      5: package Symmetric_Set_Structure is
                      6:
                      7: -- DESCRIPTION :
                      8: --   The aim of this package is the construction of a symmetric
                      9: --   start system, given a symmetric set structure.
                     10:
                     11: -- CONSTRUCTORS :
                     12:
                     13:   procedure Equivariant_Start_System
                     14:                 ( n : in natural; g : in List_of_Permutations;
                     15:                   fail : out boolean );
                     16:
                     17:   -- DESCRIPTION :
                     18:   --   Constructs an equivariant linear-product start system.
                     19:   --   When not fail on return, the package Random_Product_System
                     20:   --   contains the data for generating the polynomial system.
                     21:
                     22:   -- REQUIRED :
                     23:   --   The data of the package Set_Structure may not be empty!
                     24:
                     25:   -- ON ENTRY :
                     26:   --   n          the dimension of the problem;
                     27:   --   g          the list of generating permutations.
                     28:
                     29:   -- ON RETURN :
                     30:   --   fail       if true, then the set structure was not equivariant.
                     31:
                     32:   procedure Symmetric_Start_System
                     33:                 ( n,bb : in natural; lp : in List;
                     34:                   v,w : in List_of_Permutations;
                     35:                   notsymmetric,degenerate : out boolean );
                     36:
                     37:   -- DESCRIPTION :
                     38:   --   After calling this routine, the package Random_Product_System
                     39:   --   contains the data for a symmetric random product system,
                     40:   --   when notsymmetric and degenerate are false on return.
                     41:
                     42:   -- REQUIRED :
                     43:   --   The data of the package Set_Structure may not be empty!
                     44:
                     45:   -- ON ENTRY :
                     46:   --   n          the dimension of the problem;
                     47:   --   bb         the Bezout number based on the set structure;
                     48:   --   lp         list of positions indicating the acceptable
                     49:   --              classes in the set structure;
                     50:   --   v,w        representations of the symmetry group.
                     51:
                     52:   -- ON RETURN :
                     53:   --   notsymmetric  is true if the set structure is not symmetric;
                     54:   --   degenerate    is true if the set structure is degenerate.
                     55:
                     56: -- SELECTORS
                     57:
                     58:   procedure Write_Covering;
                     59:   procedure Write_Covering ( file : in file_type );
                     60:
                     61:   procedure Write_Templates ( n : in natural );
                     62:   procedure Write_Templates ( file : in file_type; n : in natural );
                     63:
                     64:   -- DESCRIPTION :
                     65:   --   These procedure write an intermediate data structures
                     66:   --   in the construction of a symmetric start system.
                     67:
                     68: -- DESTRUCTOR :
                     69:
                     70:   procedure Clear;
                     71:
                     72:   -- DESCRIPTION :
                     73:   --   All allocated memory space will be freed.
                     74:
                     75: end Symmetric_Set_Structure;