Re: gp: divrem(1+O(2),1+O(2)) forbidden division

[Bill Allombert <allomber@math.u-bordeaux.fr>]

On Sat, Jan 18, 2003 at 04:17:41PM -0500, Michael Somos wrote:
> pari-dev,
> 
> Bill Allombert pointed out :
> 
> > Did you see the '\' ? it is not a '/', and 
> 
> Actually, no. I had not noticed that detail before. Thanks for
> pointing it out. However, it is easy to miss that detail. Also
> 
> ? 1+O(2)\1+O(2)
>   ***   forbidden division t_PADIC \ t_INT.

\ has same priority as / so it is parsed as
1+(O(2)\1)+O(2).
and O(2)\1 is not allowed.

Cheers,
Bill.