Return to generating_mixed_cells.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry / generating_mixed_cells.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 8 months ago) by maekawa
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;