=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/de,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM_contrib2/asir2000/lib/de 2005/08/02 07:16:42 1.1 +++ OpenXM_contrib2/asir2000/lib/de 2005/08/03 05:01:01 1.2 @@ -57,7 +57,7 @@ def inverse_or_split(V,Id,F) /* Ret = GB(Id:F) */ /* compute GB(Id+) */ Gquo = append(map(ptozp,map(dp_dtop,Ret,V)),Id); - Gquo = nd_gr(Gquo,V,0,2); + Gquo = nd_interreduce(Gquo,V,0,2); DTotal = linear_dim(Id,V,2); Dquo = linear_dim(Gquo,V,2); Drem = DTotal-Dquo;