Re: [sage-support] evaluation of polynomials mod 8

2022-09-27 Thread John Cremona
Thanks! On Tuesday, September 27, 2022 at 3:02:25 PM UTC+1 Kwankyu wrote: > This bug is tracked now in > > https://trac.sagemath.org/ticket/34591 > > On Tuesday, September 27, 2022 at 6:31:39 PM UTC+9 wdjo...@gmail.com > wrote: > >> On Tue, Sep 27, 2022 at 4:46 AM John Cremona wrote: >> > >>

Re: [sage-support] evaluation of polynomials mod 8

2022-09-27 Thread Kwankyu
This bug is tracked now in https://trac.sagemath.org/ticket/34591 On Tuesday, September 27, 2022 at 6:31:39 PM UTC+9 wdjo...@gmail.com wrote: > On Tue, Sep 27, 2022 at 4:46 AM John Cremona wrote: > > > > Am I doing something stupid here, or is this a bug? > > > > sage: R = Integers(8) > >

[sage-support] Re: evaluation of polynomials mod 8

2022-09-27 Thread Kwankyu
There is a serious problem here. sage: type(RXY) The base ring of a Singular polynomial should a field. As 8 is not a prime number, RXY should not be a libsingular polynomial ring! -- You received this message because you are subscribed to the Google Groups "sage-support" group. To

Re: [sage-support] evaluation of polynomials mod 8

2022-09-27 Thread David Joyner
On Tue, Sep 27, 2022 at 4:46 AM John Cremona wrote: > > Am I doing something stupid here, or is this a bug? > > sage: R = Integers(8) > sage: RXY. = R[] > sage: F = X^3-X^2*Y+X*Y^2+Y^3 > sage: F([4,2]) > 6 > sage: 4^3-4^2*2+4*2^2+2^3 > 56 > sage: (4^3-4^2*2+4*2^2+2^3) % 8 > 0 > Even after

Re: [sage-support] evaluation of polynomials mod 8

2022-09-27 Thread Vincent Delecroix
The iterated subs turns out to be correct sage: F.subs(X=4).subs(Y=2) 0 sage: F.subs(Y=2).subs(X=4) 0 But not the one shot version (which is supposedly equivalent to the evaluation) sage: F.subs(X=4, Y=2) 6 There is definitely something wrong!! Vincent On Tue, 27 Sept 2022 at 10:46, John

[sage-support] evaluation of polynomials mod 8

2022-09-27 Thread John Cremona
Am I doing something stupid here, or is this a bug? sage: R = Integers(8) sage: RXY. = R[] sage: F = X^3-X^2*Y+X*Y^2+Y^3 sage: F([4,2]) 6 sage: 4^3-4^2*2+4*2^2+2^3 56 sage: (4^3-4^2*2+4*2^2+2^3) % 8 0 Why does F not evaluate to 0 mod 8 at X=4, Y=2? Rather obviously, each of the terms in F(4,2)