I was wondering if there is a way in PARI/GP to test wheather two
objects are truly identical: for example, I don't want to consider
3 + O(5^3) and 3 + O(5^4) identical, nor 1 and 1.0. This is to test
whether the output of two different algorithms is *really* the same.