diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 65dd6e9..9da1de8 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -5890,7 +5890,7 @@ ChangeOfVariable(F, UP, UPUP): Exports == Implementation where
good? : (F, UP, UP) -> Boolean
infIntegral?: (UPUP, UPUP) -> Boolean
- eval(p, x, y) == map(#1 x, p) monomial(y, 1)
+ eval(p, x, y) == map(s +-> s(x), p) monomial(y, 1)
good?(a, p, q) == p(a) ^= 0 and q(a) ^= 0
algPoly p ==
@@ -5916,7 +5916,7 @@ ChangeOfVariable(F, UP, UPUP): Exports == Implementation where
infIntegral?(f1, r1.poly) =>
[f1, r1.poly, monomial(1,1)$UP :: RF,r1inv,degree(retract(r1.coef)@UP)]
x := (a:= goodPoint(f1,r1.poly))::UP::RF + inv(monomial(1,1)::RF)
- r2c:= retract((r2 := mkIntegral map(#1 x, r1.poly)).coef)@UP
+ r2c:= retract((r2 := mkIntegral map(s+->s(x), r1.poly)).coef)@UP
t := inv((monomial(1, 1)$UP - a::UP)::RF)
[- inv(monomial(1, 2)$UP :: RF) * eval(f1, x, inv(r2.coef)),
r2.poly, t, r1.coef * r2c t, degree r2c]
diff --git a/changelog b/changelog
index 22adc20..da619a1 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090511 tpd src/axiom-website/patches.html 20090511.03.tpd.patch
+20090511 tpd books/bookvol10.4 CHVAR +-> conversion
20090511 tpd src/axiom-website/patches.html 20090511.02.tpd.patch
20090511 tpd books/bookvol10.3 EXPR +-> conversion
20090511 tpd src/axiom-website/patches.html 20090511.01.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 4bc478f..5194a42 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1218,5 +1218,7 @@ bookvol10.4 BOUNDZRO +-> conversion
bookvol10.2 FS +-> conversion
20090511.02.tpd.patch
bookvol10.3 EXPR +-> conversion
+20090511.03.tpd.patch
+bookvol10.4 CHVAR +-> conversion