On Tue, Apr 7, 2020 at 2:29 AM Fernando Gouvea wrote:
>
> I'm working with ideals in the polynomial ring in three variables.
>
> sage> R.=QQ[]
> sage> f=u*v-w
> sage> g=u^2-v
> sage> I=Ideal(f,g)
> sage> I.is_prime()
> True
> sage> I.associated_primes()
> [Ideal (v^2 - u*w, u*v - w, u^2 -
I'm working with ideals in the polynomial ring in three variables.
sage> R.=QQ[]
sage> f=u*v-w
sage> g=u^2-v
sage> I=Ideal(f,g)
sage> I.is_prime()
True
sage> I.associated_primes()
[Ideal (v^2 - u*w, u*v - w, u^2 - v) of Multivariate Polynomial
Ring in u, v, w over Rational Field]
That
