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