Programming question and strange == result

[pr0]

Made a very simple test program:

Quote:EXPORT TEST(X,Y)
BEGIN
RETURN CAS.quorem(X,Y);
END;

Running; TEST(x^2+x-3,x-1)
Results in: {(x^2+x-3)/(x-1),0}

Running: quorem(x^2+x-3,x-1)
Results in: [x+2 -1]

Why does the program give me that result? Have spent ALOT of time trying to figure this out..any ideas?

Another very strange thing I noticed:
2x-2==2(x-1) results in 0
2x-2==2x-2 results in 1
simplify(2x-2==2(x-1)) results in true
simplify(2x-2==2x-2) results in 1

Any reasonable explanation for this?