Re: PATCH: gcmp1 and gcmp_1 for t_SERs

[Jeroen Demeyer <jdemeyer@cage.ugent.be>]

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.