Return to generating_mixed_cells.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/generating_mixed_cells.ads, Revision 1.1

1.1     ! maekawa     1: with Symmetry_Group ;                    use Symmetry_Group;
        !             2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             3: with Integer_Mixed_Subdivisions;
        !             4: with Floating_Mixed_Subdivisions;
        !             5:
        !             6: package Generating_Mixed_Cells is
        !             7:
        !             8: -- DESCRIPTION :
        !             9: --   Given a symmetric subdivision, the following routines return the
        !            10: --   generating cells in the subdivision.
        !            11:
        !            12:   function Generating_Cells
        !            13:               ( v,w : List_of_Permutations; mix : Vector;
        !            14:                 mixsub : Integer_Mixed_Subdivisions.Mixed_Subdivision )
        !            15:               return Integer_Mixed_Subdivisions.Mixed_Subdivision;
        !            16:
        !            17:   -- DESCRIPTION :
        !            18:   --   Extracts the generating cells from the (G,V,W)-symmetric subdivision,
        !            19:
        !            20:   function Generating_Cells
        !            21:               ( v,w : List_of_Permutations; mix : Vector;
        !            22:                 mixsub : Floating_Mixed_Subdivisions.Mixed_Subdivision )
        !            23:               return Floating_Mixed_Subdivisions.Mixed_Subdivision;
        !            24:
        !            25:   -- DESCRIPTION :
        !            26:   --   Extracts the generating cells from the (G,V,W)-symmetric subdivision,
        !            27:
        !            28:   function Generating_Cells
        !            29:               ( mixsub : Integer_Mixed_Subdivisions.Mixed_Subdivision )
        !            30:               return Integer_Mixed_Subdivisions.Mixed_Subdivision;
        !            31:
        !            32:   -- DESCRIPTION :
        !            33:   --   Extracts the generating mixed cells from mixsub, under the
        !            34:   --   assumption that it is invariant under the full permutation group.
        !            35:
        !            36:   function Generating_Cells
        !            37:               ( mixsub : Floating_Mixed_Subdivisions.Mixed_Subdivision )
        !            38:               return Floating_Mixed_Subdivisions.Mixed_Subdivision;
        !            39:
        !            40:   -- DESCRIPTION :
        !            41:   --   Extracts the generating mixed cells from mixsub, under the
        !            42:   --   assumption that it is invariant under the full permutation group.
        !            43:
        !            44: end Generating_Mixed_Cells;