-----------------------------------
   --  PROCEDURE RotationLeftRight  --
   -----------------------------------

   function RotationLeftRight (
         U : in     Set;
         V : in     Set)
     return Set is

      TMP : Set;

   begin
      Ada.Text_IO.Put ("LeftRight");
      Ada.Text_IO.New_Line;

      TMP := RotationLeft (V, V.Right);
      return RotationRight (U, TMP);

   end RotationLeftRight;


   -----------------------------------
   --  FUNCTION RotationRightLeft  --
   -----------------------------------

   function RotationRightLeft (
         U : in     Set;
         V : in     Set)
         return Set is
            TMP : Set;
   begin
      Ada.Text_IO.Put ("RightLeft");
      Ada.Text_IO.New_Line;

      TMP := RotationRight (V, V.Left);
      return RotationLeft (U, TMP);
   end RotationRightLeft;