let equal (t1,_) (t2,_) =
           Kernel_function.equal t1.kernel_function t2.kernel_function