diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 7b3ebb0..d357728 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -129462,12 +129462,12 @@ QuasiAlgebraicSet2(vl,nv) : C == T where
v = tv => 0
variable((convert v)@Symbol)@Union(Var,"failed")::Var::Dpoly
- npoly(p:Dpoly) : newPoly == map(f #1, #1::newPoly, p)
+ npoly(p:Dpoly) : newPoly == map(z1 +-> f z1, z2 +-> z2::newPoly, p)
oldpoly(q:newPoly) : Union(Dpoly,"failed") ==
(x:=mainVariable q) case "failed" => (leadingCoefficient q)::Dpoly
(x::newVar = tv) => "failed"
- map(g #1,#1::Dpoly, q)
+ map(z1 +-> g z1, z2 +-> z2::Dpoly, q)
radicalSimplify x ==
status(x)$QALG = true => x -- x is empty
diff --git a/changelog b/changelog
index a8d97f0..7444e52 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090619 tpd src/axiom-website/patches.html 20090619.04.tpd.patch
+20090619 tpd books/bookvol10.4 QALGSET2 +-> conversion
20090619 tpd src/axiom-website/patches.html 20090619.03.tpd.patch
20090619 tpd src/axiom-website/download.html add may2009 binaries
20090619 tpd src/axiom-website/patches.html 20090619.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 262b3d3..a9acea2 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1585,5 +1585,7 @@ bookvol10.4 INTPAF +-> conversion
bookvol10.4 PUSHVAR +-> conversion
20090619.03.tpd.patch
src/axiom-website/download.html add may2009 binaries
+20090619.04.tpd.patch
+bookvol10.4 QALGSET2 +-> conversion