testing whether an ideal of QQ[x1,...,xn] is equal to its radical over CC

[Vincent Delecroix]

Dear all,

I am lost in my algebra. Given an ideal in QQ[x1,...,xn] how do I
test whether rad(I tensor CC) = I tensor CC ?

Best
Vincent

[Dima Pasechnik]

On Wed, Mar 16, 2022 at 6:07 PM Vincent Delecroix <20100.d...@gmail.com> wrote:
>
> Dear all,
>
> I am lost in my algebra. Given an ideal in QQ[x1,...,xn] how do I
> test whether rad(I tensor CC) = I tensor CC ?

IIRC, radical will still be definable over QQ, thus just
https://www.singular.uni-kl.de/Manual/4-0-3/sing_1327.htm ?


>
> Best
> Vincent
>
> --
> You received this message because you are subscribed to the Google Groups "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/65ac8598-a734-ffc0-995c-35610f3ab2e9%40gmail.com.