Return to permutations_of_faces.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/permutations_of_faces.ads, Revision 1.1.1.1

1.1       maekawa     1: with Integer_Faces_of_Polytope;          use Integer_Faces_of_Polytope;
                      2: with Permutations,Symmetry_Group;        use Permutations,Symmetry_Group;
                      3:
                      4: package Permutations_of_Faces is
                      5:
                      6: -- DESCRIPTION :
                      7: --   Provides elementary permutation operations on faces of polytopes.
                      8: --   Each time, the second operation concerns a lifted face and leaves
                      9: --   the lifting invariant.
                     10:
                     11:   function Invariant ( f : Face; p : Permutation ) return boolean;
                     12:   function Invariant_Lifted ( f : Face; p : Permutation ) return boolean;
                     13:
                     14:   -- DESCRIPTION :
                     15:   --   Returns true if the face is invariant under the permutation.
                     16:
                     17:   function Permute ( f : Face; p : Permutation ) return Face;
                     18:   function Permute_Lifted ( f : Face; p : Permutation ) return Face;
                     19:
                     20:   -- DESCRIPTION :
                     21:   --   Permutations the coordinates of the points which span the face.
                     22:
                     23:   function Permutable ( f1,f2 : Face ) return boolean;
                     24:   function Permutable_Lifted ( f1,f2 : Face ) return boolean;
                     25:
                     26:   -- DESCRIPTION :
                     27:   --   Returns true if there exists a permutation of face f1 into face f2.
                     28:
                     29:   function Permutable ( f1 : Face; f2 : Faces ) return boolean;
                     30:   function Permutable_Lifted ( f1 : Face; f2 : Faces ) return boolean;
                     31:
                     32:   -- DESCRIPTION :
                     33:   --   Returns true if the face f1 is permutable with one of the faces in f2.
                     34:
                     35: end Permutations_of_Faces;