===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/ndbf.rr,v
retrieving revision 1.7
retrieving revision 1.9
diff -u -p -r1.7 -r1.9
--- OpenXM/src/asir-contrib/testing/noro/ndbf.rr	2009/10/25 12:46:48	1.7
+++ OpenXM/src/asir-contrib/testing/noro/ndbf.rr	2009/11/12 01:39:54	1.9
@@ -29,6 +29,7 @@ localf weyl_nf_quo, weyl_nf_mod, b_subst, v_factorial,
 localf replace_vars_f, replace_vars_v, replace_var$
 localf action_on_gfs, action_on_gfs_1$
 localf nd_gb_candidate$
+localf in_gb_oaku$
 
 /* stratification */
 
@@ -1449,9 +1450,15 @@ def bf_strat_stage3(L)
 		}
 		dp_set_weight(0);
 		if ( K < J ) {
-			for ( L = 0, T = []; L < NDI; L++ )
+			for ( L = 0, T = []; L < NDI; L++ ) {
+#if 0
+				NewId = DK[L][1];
+#else
+				NewId = ideal_intersection(DK[L][1],DI[L][1],V0,0);
+#endif
 				T = cons([[DK[L][0][0]*DI[L][0][0],DK[L][0][1]],
-					DK[L][1],DK[L][2]],T);
+					NewId,DK[L][2]],T);
+			}
 			Data[K] = reverse(T);
 		} else
 			Data[J++] = DI;