diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index ab312e0..cb138ab 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -29519,8 +29519,7 @@ FunctionSpacePrimitiveElement(R, F): Exports == Implementation where
F2P: (F, List SY) -> P
K2P: (K, List SY) -> P
- F2P(f, l) ==
- inv(denom(f)::F)*map((k1:K):P+->K2P(k1,l), (r1:R):R+-> r1::F::P, numer f)
+ F2P(f, l) == inv(denom(f)::F) * map(K2P(#1, l), #1::F::P, numer f)
K2P(k, l) ==
((v := symbolIfCan k) case SY) and member?(v::SY, l) => v::SY::P
@@ -29557,7 +29556,7 @@ FunctionSpacePrimitiveElement(R, F): Exports == Implementation where
b := (bb := new()$SY)::F
l := [aa, bb]$List(SY)
p1 := minPoly(k1 := retract(a1)@K)
- p2 := map((z1:F):F +-> subst(ratDenom(z1, [k1]), [k1], [a]),
+ p2 := map(subst(ratDenom(#1, [k1]), [k1], [a]),
minPoly(retract(a2)@K))
rec := primitiveElement(F2P(p1 a, l), aa, F2P(p2 b, l), bb)
w := rec.coef1 * a1 + rec.coef2 * a2
diff --git a/changelog b/changelog
index 37149b6..00912d4 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090528 tpd src/axiom-website/patches.html 20090528.01.tpd.patch
+20090528 tpd books/bookvol10.4 FSPRMELT +-> conversion, undone, fails testing
20090520 tpd src/axiom-website/patches.html 20090520.03.tpd.patch
20090520 tpd books/bookvol10.4 FSPRMELT +-> conversion
20090520 tpd src/axiom-website/patches.html 20090520.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 59f27e3..0ffd2b0 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1388,5 +1388,7 @@ bookvol10.4 FS2 +-> conversion
bookvol10.4 FSINT +-> conversion
20090520.03.tpd.patch
bookvol10.4 FSPRMELT +-> conversion
+20090528.01.tpd.patch
+bookvol10.4 FSPRMELT +-> conversion, undone, fails testing