1
vote
0answers
33 views

Looking for a binomial system solver

I am interested in solving binomial systems of the form $$ \begin{cases} a_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} + b_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} &= 0 \\ ...
0
votes
0answers
42 views

Finding Ideals of a Given Ring in MAGMA

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, ...
2
votes
2answers
114 views

Simplifying expressions

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 ...