sage: K.=QQ[]
sage: I=[x*(x-1),y*(y-1)]
sage: a=x+y+3
sage: a.reduce(Ideal(I))
x + y + 3
In addition:
sage: Kq=K.quotient(I);Kq(a)
xbar + ybar + 3
sage: Ideal([a]+I).groebner_basis()
[1]
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubsc
Hi Matthias,
Happy to see that you are curious regarding the modularization project, but
I don't think it's a good approach to start this discussion with claims
that sound authoritative ("nobody will actually maintain", "does not
scale", "nearly all end users", etc.) and a policy proposal.
Y
I strongly disagree with your conclusion that this is a bug, much less a
severe one. My understanding of William's goal (please correct me if I am
wrong) was to put everything together so nobody was trying to build a
better wheel. To me, by splitting everything up into these small pieces, it
se
On Sunday, June 11, 2023 at 6:20:03 PM UTC-7 Travis Scrimshaw wrote:
My understanding of William's goal (please correct me if I am wrong) was to
put everything together so nobody was trying to build a better wheel. To
me, by splitting everything up into these small pieces, it seems contrary
to
On Sun, Jun 11, 2023 at 6:53 PM Matthias Koeppe
wrote:
> On Sunday, June 11, 2023 at 6:20:03 PM UTC-7 Travis Scrimshaw wrote:
>
> My understanding of William's goal (please correct me if I am wrong) was
> to put everything together so nobody was trying to build a better wheel. To
> me, by splitti
