All Questions

Let $R$ a commutative ring with one and $I, J \triangleleft R$ two ideals. The saturated ideal $I^{sat}_J$ with respect $J$ is the ideal $$(I : J^\infty )= \cup_{n \geq 1} (I:J^n)$$ where $(I:J^n)= \{...

I have the following problem: Suppose to have an ideal $I\triangleleft k[x_1,...,x_n]$ defined by generators. There exists an efficient algorithm (perhaps more efficient than calculating the Groebner ...

I have a set of polynomials $f_1, \dots, f_m \in \mathbb{Z}[x_1, \dots, x_n]$ and I am interested in finding if these polynomials have a common root inside either $\mathbb{C}[x_1, \dots, x_n]$ or $\...

I've written some code for Sage to compute radical ideals and primary decompositions over $\overline{Q}$ (the field of algebraic numbers), and I'm not sure if it's right. Since Singular (the ...