Any way to define variables as constant?
I want to come up with a function that will return true when I compare (x−1)2+C and x2−2x+C where C is an arbitrary constant. Any way that you know can do this ?