Given a finite-dimensional ring $R$ in finite characterstic $k$, is it possible to construct all ideals of $R$ in the computer program MAGMA? It should be possible to define $R$ to be an $R$-module, ...
Given an $m\times n$ (with $n>m)$ matrix $M$ over a polynomial ring $R=k[x_1,...,x_n]$, suppose that every column of $M$ is an $R$-linear combination of $m$ specified columns. I would like to ...
I have a polynomial ring $R=k[x,y,z...]$ and a given ideal $I$ (defined by given generators) and several polynomials $f_1,f_2,...$ in the ring. I also have several other elements of $R$ given as ...