partial implementation of eqzero(); bug exists in Inverting-4