|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 bean 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.