diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 77b281b..4d26cc9 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -138656,9 +138656,9 @@ StreamFunctions3(A,B,C): Exports == Implementation where map(g,x,y) == explicitlyEmpty? x => empty() - eq?(x,rst x) => map(g(frst x,#1),y)$StreamFunctions2(B,C) + eq?(x,rst x) => map(z +-> g(frst x,z),y)$StreamFunctions2(B,C) explicitlyEmpty? y => empty() - eq?(y,rst y) => map(g(#1,frst y),x)$StreamFunctions2(A,C) + eq?(y,rst y) => map(z +-> g(z,frst y),x)$StreamFunctions2(A,C) mapp(g,x,y) @ diff --git a/changelog b/changelog index 1ff7fcd..cc5243e 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090621 tpd src/axiom-website/patches.html 20090621.04.tpd.patch +20090621 tpd books/bookvol10.4 STREAM3 +-> conversion 20090621 tpd src/axiom-website/patches.html 20090621.03.tpd.patch 20090621 tpd books/bookvol10.4 SFRGCD +-> conversion 20090621 tpd src/axiom-website/patches.html 20090621.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index ce9ecf3..a24b127 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1623,5 +1623,7 @@ bookvol10.4 SMITH +-> conversion
bookvol10.4 SFQCMPK +-> conversion
20090621.03.tpd.patch bookvol10.4 SFRGCD +-> conversion
+20090621.04.tpd.patch +bookvol10.4 STREAM3 +-> conversion