Re: [sage-support] Subalgebra membership in a polynomial algebra

2022-09-06 Thread John H Palmieri
Thanks, Dima, that's helpful. I will open a ticket; I hope this will be an easy thing for people familiar with the Singular interfaces. -- John On Tuesday, September 6, 2022 at 3:31:08 PM UTC-7 dim...@gmail.com wrote: > On Tue, Sep 6, 2022 at 10:32 PM John H Palmieri > wrote: > > > > Let R

Re: [sage-support] Subalgebra membership in a polynomial algebra

2022-09-06 Thread Dima Pasechnik
On Tue, Sep 6, 2022 at 10:32 PM John H Palmieri wrote: > > Let R = k[x_1, x_2, ..., x_n] be a polynomial ring over a field k of > characteristic p. Given elements a_1, a_2, ..., a_m and b in R, I would like > to know if b is in the subalgebra generated by a_1, ..., a_m.My impression > from a

[sage-support] Subalgebra membership in a polynomial algebra

2022-09-06 Thread John H Palmieri
Let R = k[x_1, x_2, ..., x_n] be a polynomial ring over a field k of characteristic p. Given elements a_1, a_2, ..., a_m and b in R, I would like to know if b is in the subalgebra generated by a_1, ..., a_m.My impression from a superficial skim of the literature (Shannon and Sweedler,