This seems to work, though I don't know exactly what you want to do with it.
sage: K.<x,y> = ZZ[] sage: n=13*random_prime(2**50) sage: f=x^2+x+1 sage: Kquo = K.quo(K.ideal(n,f)) sage: Kquo Quotient of Multivariate Polynomial Ring in x, y over Integer Ring by the ideal (10233078999195559, x^2 + x + 1) sage: Kquo(x^2) -xbar - 1 David On Mon, Jun 17, 2024 at 10:05 AM Georgi Guninski <ggunin...@gmail.com> wrote: > This hurts me, so workaround is welcome. > > > n=13*random_prime(2**20);Kyx.<x,y>=Integers(n)[];f=x^2+x+1;Kquo.<w1,w2>=Kyx.quotient(f);Kquo > #pass > > > n=13*random_prime(2**50);Kyx.<x,y>=Integers(n)[];f=x^2+x+1;Kquo.<w1,w2>=Kyx.quotient(f);Kquo > TypeError: Can only reduce polynomials over fields. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAGUWgD-HdE_MPezw%3DfReOmcBgo3K_E-oSccqvBVyeZRxddCSMQ%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAChs6_nKvtMtdcL4Bv277Gw-e9jXah2MJaGZpp-tjwCMoXZbPw%40mail.gmail.com.
