Re: [sage-support] Re: Groebner bases for supercommutative polynomial algebras.

2020-11-29 Thread 'Reimundo Heluani' via sage-support
On Nov 29, Simon King wrote: Hi Reimundo, On 2020-11-29, 'Reimundo Heluani' via sage-support wrote: Well, in the Noetherian case this works fine. The setup I need is a non-noetherian algebra: a polynomial differential algebra, that is polynomials in x_1,...,x_n and all of their formal

[sage-support] Re: Groebner bases for supercommutative polynomial algebras.

2020-11-29 Thread Simon King
Hi Reimundo, On 2020-11-29, 'Reimundo Heluani' via sage-support wrote: > Well, in the Noetherian case this works fine. The setup I need is a > non-noetherian algebra: a polynomial differential algebra, that is > polynomials > in x_1,...,x_n and all of their formal derivatives. So this is a

Re: [sage-support] Re: Groebner bases for supercommutative polynomial algebras.

2020-11-29 Thread 'Reimundo Heluani' via sage-support
On Nov 29, Simon King wrote: Hi Reimundo, On 2020-06-17, 'Reimundo Heluani' via sage-support wrote: Is there an implementation of such a thing as in the title? TL;DR: Yes. Singular does have these capabilities. I recall that these were comfortably wrapped in SageMath, but as it turns out:

[sage-support] Re: Groebner bases for supercommutative polynomial algebras.

2020-11-29 Thread Simon King
Hi Reimundo, On 2020-06-17, 'Reimundo Heluani' via sage-support wrote: > Is there an implementation of such a thing as in the title? TL;DR: Yes. Singular does have these capabilities. I recall that these were comfortably wrapped in SageMath, but as it turns out: They aren't. Note to