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

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;