class EXAMPLE4

create {ANY}
   main

feature {ANY}
   main
      local
         x, y, z: POINT; t1, t2: TRIANGLE
      do
         create x.make(1.0, 2.0)
         create y.make(1.0, 2.0)
         create z.make(3.0, 4.0)
         check
            x /= y
            x.is_equal(y)
         end
         create t1.make(x, y, z)
         create t2.make(x.twin, y.twin, z.twin)
         check
            t1 /= t2
            t1.is_equal(t2)
         end
         -- It is now time to have a look at version4 of class
         -- TRIANGLE to get rid of this problem.
      end

end -- class EXAMPLE4