Jeroen Demeyer on Fri, 13 Feb 2009 19:13:56 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: PATCH: gcmp1 and gcmp_1 for t_SERs

Bill Allombert wrote:
However I am not entirely sure the implementation is  incorrect:
We should have the equivalence gcmp1(x) == gequal(x,gen_1) and this is far from obvious from the code, though that might be
an issue with gequal rather than with your code.

At least it looks like it improves the current behaviour:
gequal(1+O(t^10), 1) returns 1 but gcmp1(1+O(t^10)) returns 0 with the unpatched code.