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     ! 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;