diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 84ca01a..b44ece7 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -127108,9 +127108,9 @@ PrimitiveElement(F): Exports == Implementation where
triangularLinearIfCan:(List P,List SY,SY) -> Union(List UP,"failed")
innerPrimitiveElement: (List P, List SY, SY) -> REC
- multi(p, v) == multivariate(map(#1, p), v)
+ multi(p, v) == multivariate(map((f1:F):F +-> f1, p), v)
randomInts(n, m) == [symmetricRemainder(random()$Integer, m) for i in 1..n]
- incl?(a, b) == every?(member?(#1, b), a)
+ incl?(a, b) == every?((s1:SY):Boolean +-> member?(s1, b), a)
primitiveElement(l, v) == primitiveElement(l, v, new()$SY)
primitiveElement(p1, a1, p2, a2) ==
@@ -127138,9 +127138,9 @@ PrimitiveElement(F): Exports == Implementation where
(degree(p := univariate(u::P, v)) ^= 1) => return "failed"
(bc := extendedEuclidean(univariate leadingCoefficient p, pw,1))
case "failed" => error "Should not happen"
- ll := concat(map(#1,
+ ll := concat(map((z1:F):F +-> z1,
(- univariate(coefficient(p,0)) * bc.coef1) rem pw), ll)
- concat(map(#1, pw), reverse_! ll)
+ concat(map((f1:F):F +-> f1, pw), reverse_! ll)
primitiveElement(l, vars, uu) ==
u := uu::P
diff --git a/changelog b/changelog
index f52e73c..3eff9e9 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090614 tpd src/axiom-website/patches.html 20090614.01.tpd.patch
+20090614 tpd books/bookvol10.4 PRIMELT +-> conversion
20090613 tpd src/axiom-website/patches.html 20090613.03.tpd.patch
20090613 tpd books/bookvol10.4 POLY2UP +-> conversion
20090613 tpd src/axiom-website/patches.html 20090613.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index e32c2d0..753243f 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1565,5 +1565,7 @@ bookvol10.4 PGCD +-> conversion
bookvol10.4 SOLVEFOR +-> conversion
20090613.03.tpd.patch
bookvol10.4 POLY2UP +-> conversion
+20090614.01.tpd.patch
+bookvol10.4 PRIMELT +-> conversion