topComponents in quotient rings

[DanGrayson]

i2 : R = QQ[x,y,z]/(x*y,x*z);

i3 : topComponents ideal(y,z)

o3 = ideal 1

o3 : Ideal of R

Reported here: https://groups.google.com/forum/#!topic/macaulay2/7t6RYgi_In0