Question: Height of an ideal

Dear all 

I have an ideal, and code its definition  and I compute the height  but no result return. There is an error. 

height_ideal.mw

Thank you for you help

Please Wait...