FirstNonZero(V:VECTOR):POLY
Use R ::= QQ[x,y,z]; V := Vector(0, 0, x^2+yz, 0, z^2); FirstNonZero(V); x^2 + yz -------------------------------