===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/module_syz.rr,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/asir-contrib/testing/noro/module_syz.rr	2009/10/14 07:00:57	1.1
+++ OpenXM/src/asir-contrib/testing/noro/module_syz.rr	2010/09/02 14:53:26	1.2
@@ -84,6 +84,7 @@ def module_minres(F,V,H,O)
 			L = module_syz(car(R),V,H,O);
 		if ( L[0] == [] ) return R;
 		S = simplify_syz(L[0],R[0],H);
+		if ( S == [[],[]] ) return cdr(R);
 		R = append(S,cdr(R));	
 		if ( R[0] == [] ) return cdr(R);
 	}