===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/Attic/pd.rr,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -p -r1.10 -r1.11
--- OpenXM/src/asir-contrib/testing/noro/Attic/pd.rr	2010/06/19 08:32:37	1.10
+++ OpenXM/src/asir-contrib/testing/noro/Attic/pd.rr	2010/08/20 04:21:18	1.11
@@ -1,4 +1,4 @@
-/* $OpenXM$ */
+/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/pd.rr,v 1.10 2010/06/19 08:32:37 noro Exp $ */
 import("gr")$
 module noro_pd$
 static GBCheck,F4,Procs,SatHomo$
@@ -440,7 +440,7 @@ def pseudo_dec(G,L,V,Ord)
 		for ( T = PI; T != []; T = cdr(T) )
 			if ( gen_nf(car(T),L0[I],V,Ord,Mod) ) break;
 		if ( T == [] ) error("separator : cannot happen");
-		SI = satind(G,car(T),V|mod=Mod);	
+		SI = sat_ind(G,car(T),V|mod=Mod);	
 		QI = SI[0];
 		S[I] = car(T)^SI[1];
 		PV = L[I][1];
@@ -454,7 +454,7 @@ def pseudo_dec(G,L,V,Ord)
 #endif
 		LCFI = lcfactor(GI,V0,Ord,Mod);
 		for ( F = 1, T = LCFI, Gt = QI; T != []; T = cdr(T) ) {
-			St = satind(Gt,T[0],V|mod=Mod);
+			St = sat_ind(Gt,T[0],V|mod=Mod);
 			Gt = St[0]; F *= T[0]^St[1];
 		}
 		Q[I] = [Gt,L0[I]];
@@ -510,7 +510,7 @@ def prima_dec(B,V)
 		L = zprimacomp(G,V0|mod=Mod);
 		F = 1;
 		for ( T = LCF, G2 = G; T != []; T = cdr(T) ) {
-			S = satind(G2,T[0],V1|mod=Mod);
+			S = sat_ind(G2,T[0],V1|mod=Mod);
 			G2 = S[0]; F *= T[0]^S[1];
 		}
 		for ( T = L, QL = []; T != []; T = cdr(T) )