Uploaded files

Add method to check if two functions are equivalent.