Return to generating_mixed_cells.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with Symmetry_Group ;                    use Symmetry_Group;
with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
with Integer_Mixed_Subdivisions;
with Floating_Mixed_Subdivisions;

package Generating_Mixed_Cells is

-- DESCRIPTION :
--   Given a symmetric subdivision, the following routines return the
--   generating cells in the subdivision.

  function Generating_Cells
              ( v,w : List_of_Permutations; mix : Vector;
                mixsub : Integer_Mixed_Subdivisions.Mixed_Subdivision )
              return Integer_Mixed_Subdivisions.Mixed_Subdivision;

  -- DESCRIPTION :
  --   Extracts the generating cells from the (G,V,W)-symmetric subdivision,

  function Generating_Cells
              ( v,w : List_of_Permutations; mix : Vector;
                mixsub : Floating_Mixed_Subdivisions.Mixed_Subdivision )
              return Floating_Mixed_Subdivisions.Mixed_Subdivision;

  -- DESCRIPTION :
  --   Extracts the generating cells from the (G,V,W)-symmetric subdivision,

  function Generating_Cells
              ( mixsub : Integer_Mixed_Subdivisions.Mixed_Subdivision )
              return Integer_Mixed_Subdivisions.Mixed_Subdivision;

  -- DESCRIPTION :
  --   Extracts the generating mixed cells from mixsub, under the
  --   assumption that it is invariant under the full permutation group.

  function Generating_Cells
              ( mixsub : Floating_Mixed_Subdivisions.Mixed_Subdivision )
              return Floating_Mixed_Subdivisions.Mixed_Subdivision;

  -- DESCRIPTION :
  --   Extracts the generating mixed cells from mixsub, under the
  --   assumption that it is invariant under the full permutation group.

end Generating_Mixed_Cells;