diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 508e6cc..daeb64c 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -14432,14 +14432,14 @@ d01WeightsPackage(): E == I where (voo:=isTimes(b)) case LEDF and factorIn?(a,voo) inRest?(a:EDF,l:LEDF):Boolean == - every?( voo?(#1,a) ,l) + every?(x+->voo?(x,a) ,l) findCommonFactor(l:LEDF):Union(LEDF,"failed") == empty?(l)$LEDF => "failed" f := first(l)$LEDF r := rest(l)$LEDF (t := isTimes(f)$EDF) case LEDF => - pos:=select(inRest?(#1,r),t) + pos:=select(x+->inRest?(x,r),t) empty?(pos) => "failed" pos "failed" diff --git a/changelog b/changelog index fc30a0f..be882f1 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090514 tpd src/axiom-website/patches.html 20090514.07.tpd.patch +20090514 tpd books/bookvol10.4 D01WGTS +-> conversion 20090514 tpd src/axiom-website/patches.html 20090514.06.tpd.patch 20090514 tpd books/bookvol10.3 NSMP +-> conversion 20090514 tpd src/axiom-website/patches.html 20090514.05.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 7c464e5..f249e87 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1300,5 +1300,7 @@ bookvol10.3 MYUP +-> conversion
bookvol10.4 DBLRESP +-> conversion
20090514.06.tpd.patch bookvol10.3 NSMP +-> conversion
+20090514.07.tpd.patch +bookvol10.4 D01WGTS +-> conversion