diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 6f4098c..4650eeb 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -22660,7 +22660,7 @@ ExpressionFunctions2(R:OrderedSet, S:OrderedSet): if S has Ring and R has Ring then map(f, r) == map(f, r)$F2 else - map(f, r) == map(map(f, #1), retract r)$E2 + map(f, r) == map(x1 +-> map(f, x1), retract r)$E2 @ <>= diff --git a/changelog b/changelog index b6585ee..26cb3eb 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090518 tpd src/axiom-website/patches.html 20090518.06.tpd.patch +20090518 tpd books/bookvol10.4 EXPR2 +-> conversion 20090518 tpd src/axiom-website/patches.html 20090518.05.tpd.patch 20090518 tpd books/bookvol10.3 SMTS +-> conversion 20090518 tpd src/axiom-website/patches.html 20090518.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 1a4f5c5..aec081d 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1348,5 +1348,7 @@ bookvol10.4 GBEUCLID +-> conversion
bookvol10.4 ESCONT +-> conversion
20090518.05.tpd.patch bookvol10.3 SMTS +-> conversion
+20090518.06.tpd.patch +bookvol10.4 EXPR2 +-> conversion