equality of ideals over different rings

[mahrud]

These two are surprisingly annoying:

i1 : ideal 0 == 0 * ideal vars(QQ[x])
stdio:1:10:(3): error: expected ideals for the same ring

i2 : ideal 1 == ideal 1_(QQ[x])
stdio:2:9:(3): error: expected ideals for the same ring

Can we have comparison of ideals over different rings to give false, unless one is ZZ, then use Ideal == ZZ?