Hi Simon,
On Monday, August 6, 2018 at 5:58:21 PM UTC+3, Simon King wrote:
>
> On 2018-08-06, Dima Pasechnik > wrote:
> > I would have defined your ring as a quotient of a polynomial ring over
> GF(5).
>
> Maybe, but nonetheless the construction of a polynomial ring over a
> cartesian product
Hi Dima,
On 2018-08-06, Dima Pasechnik wrote:
> I would have defined your ring as a quotient of a polynomial ring over GF(5).
Maybe, but nonetheless the construction of a polynomial ring over a
cartesian product ring should work. Can you open a ticket for it? I am
currently busy.
Best regards,
