diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 587d013..bbe42de 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -56094,9 +56094,9 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where -- Composition and recursion. id a == a - g**n == iter(g, n, #1) + g**n == (a1:A):A +-> iter(g, n, a1) - recur fnaa == recur(fnaa, #1, #2) + recur fnaa == (n1:NNI,a2:A):A +-> recur(fnaa, n1, a2) @ <>= diff --git a/changelog b/changelog index 333e228..f4e85bd 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090606 tpd src/axiom-website/patches.html 20090607.01.tpd.patch +20090606 tpd books/bookvol10.4 MAPPGK1 +-> conversion 20090606 tpd src/axiom-website/patches.html 20090606.07.tpd.patch 20090606 tpd books/bookvol10.4 MKUCFUNC +-> conversion 20090606 tpd src/axiom-website/patches.html 20090606.06.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index eb2bd07..4fbf032 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1477,5 +1477,7 @@ bookvol10.4 LIST2MAP +-> conversion
bookvol10.4 MKBCFUNC +-> conversion
20090606.07.tpd.patch bookvol10.4 MKUCFUNC +-> conversion
+20090607.01.tpd.patch +bookvol10.4 MAPPGK1 +-> conversion