===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/Attic/pd.rr,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/asir-contrib/testing/noro/Attic/pd.rr	2010/05/10 05:30:18	1.3
+++ OpenXM/src/asir-contrib/testing/noro/Attic/pd.rr	2010/05/12 07:55:44	1.4
@@ -1169,11 +1169,7 @@ def colon(G,F,V)
 {
 	F = p_nf(F,G,V,0);
 	if ( !F ) return [1];
-	NV = ttttt;
-	V1 = cons(NV,V);
-	T = nd_gr_trace(append(vtol(NV*ltov(G)),[(1-NV)*F]),V1,1,GBCheck,
-		[[0,1],[0,length(V)]]|gbblock=[[0,length(G)]],nora=1);
-	T = elimination(T,V);
+	T = ideal_intersection(G,[F],V,0);
 	return map(ptozp,map(sdiv,T,F));
 }