NonZero(L: LIST|MODULEELEM): LIST
/**/ use R ::= QQ[x,y,z]; /**/ NonZero([0,0,3, ideal(y),0]); [3, ideal(y)]