diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index d995ac6..461328d 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -118790,7 +118790,7 @@ PAdicWildFunctionFieldIntegralBasis(K,R,UP,F): Exports == Implementation where
import TriangularMatrixOperations(R, Vector R, Vector R, Matrix R)
reducedDiscriminant f ==
- ff : SUP Q := mapUnivariate(#1 :: Q,f)$IBPTOOLS(R,UP,SUP UP,Q)
+ ff : SUP Q := mapUnivariate((r1:R):Q+->r1 :: Q,f)$IBPTOOLS(R,UP,SUP UP,Q)
ee := extendedEuclidean(ff,differentiate ff)
cc := concat(coefficients(ee.coef1),coefficients(ee.coef2))
cden := splitDenominator(cc)$CDEN(R,Q,L Q)
@@ -118819,14 +118819,14 @@ PAdicWildFunctionFieldIntegralBasis(K,R,UP,F): Exports == Implementation where
-- construct extension of degree r over K
E := SAE(K,SUP K,irrPoly)
-- lift coefficients to elements of E
- poly := mapBivariate(#1 :: E,poly0)$IBPTOOLS(K,R,UP,E)
+ poly := mapBivariate((k1:K):E +-> k1::E,poly0)$IBPTOOLS(K,R,UP,E)
redDisc0 := reducedDiscriminant poly0
- redDisc := mapUnivariate(#1 :: E,redDisc0)$IBPTOOLS(K,R,UP,E)
- prime := mapUnivariate(#1 :: E,prime0)$IBPTOOLS(K,R,UP,E)
+ redDisc := mapUnivariate((k1:K):E +-> k1::E,redDisc0)$IBPTOOLS(K,R,UP,E)
+ prime := mapUnivariate((k1:K):E +-> k1::E,prime0)$IBPTOOLS(K,R,UP,E)
sae := SAE(E,SUP E,prime)
-- reduction (mod prime) of polynomial of which poly is the kth power
redIrrPoly :=
- pp := mapBivariate(#1 :: E,irrPoly0)$IBPTOOLS(K,R,UP,E)
+ pp := mapBivariate((k1:K):E +-> k1::E,irrPoly0)$IBPTOOLS(K,R,UP,E)
mapUnivariate(reduce,pp)$IBPTOOLS(SUP E,SUP SUP E,SUP SUP SUP E,sae)
-- factor the reduction
factorListSAE := factors factor(redIrrPoly)$DDFACT(sae,SUP sae)
diff --git a/changelog b/changelog
index c92f949..802ff7c 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090609 tpd src/axiom-website/patches.html 20090609.05.tpd.patch
+20090609 tpd books/bookvol10.4 PWFFINTB +-> conversion
20090609 tpd src/axiom-website/patches.html 20090609.04.tpd.patch
20090609 tpd books/bookvol10.4 ODETOOLS +-> conversion
20090609 tpd src/axiom-website/patches.html 20090609.03.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 2327627..7fdca6a 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1521,5 +1521,7 @@ bookvol10.4 NUMFMT +-> conversion
bookvol10.4 ODEINT +-> conversion
20090609.04.tpd.patch
bookvol10.4 ODETOOLS +-> conversion
+20090609.05.tpd.patch
+bookvol10.4 PWFFINTB +-> conversion