diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index 1c3ac9c..d2e4812 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -106234,7 +106234,8 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
multExp: (RN,LTerm) -> PTerm
multExp(r,lTerm) == [r * lTerm.k,lTerm.c]
- terms upxs == map(multExp(getExpon upxs,#1),terms getULS upxs)$ST2LP
+ terms upxs ==
+ map((t1:LTerm):PTerm+->multExp(getExpon upxs,t1),terms getULS upxs)$ST2LP
clearDen: (I,PTerm) -> LTerm
clearDen(n,lTerm) ==
@@ -106243,7 +106244,7 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
[int :: I,lTerm.c]
series(n,stream) ==
- str := map(clearDen(n,#1),stream)$ST2PL
+ str := map((t1:PTerm):LTerm +-> clearDen(n,t1),stream)$ST2PL
puiseux(1/n,series str)
--% normalizations
@@ -106289,9 +106290,9 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
m2 := numer(getExpon(pxs2)/r) pretend PI
puiseux(r,op(multiplyExponents(ls1,m1),multiplyExponents(ls2,m2)))
- pxs1 + pxs2 == applyFcn(#1 +$ULS #2,pxs1,pxs2)
- pxs1 - pxs2 == applyFcn(#1 -$ULS #2,pxs1,pxs2)
- pxs1:% * pxs2:% == applyFcn(#1 *$ULS #2,pxs1,pxs2)
+ pxs1 + pxs2 == applyFcn((z1:ULS,z2:ULS):ULS+->z1 +$ULS z2,pxs1,pxs2)
+ pxs1 - pxs2 == applyFcn((z1:ULS,z2:ULS):ULS+->z1 -$ULS z2,pxs1,pxs2)
+ pxs1:% * pxs2:% == applyFcn((z1:ULS,z2:ULS):ULS+->z1 *$ULS z2,pxs1,pxs2)
pxs:% ** n:NNI == puiseux(getExpon pxs,getULS(pxs)**n)
@@ -106327,7 +106328,7 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
if Coef has Field then
- pxs1:% / pxs2:% == applyFcn(#1 /$ULS #2,pxs1,pxs2)
+ pxs1:% / pxs2:% == applyFcn((z1:ULS,z2:ULS):ULS+->z1 /$ULS z2,pxs1,pxs2)
inv upxs ==
(invUpxs := recip upxs) case "failed" =>
@@ -106409,7 +106410,8 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
differentiate(upxs:%,s:Symbol) ==
(s = variable(upxs)) => differentiate upxs
dcds := differentiate(center upxs,s)
- map(differentiate(#1,s),upxs) - dcds*differentiate(upxs)
+ map((z1:Coef):Coef+->differentiate(z1,s),upxs)
+ - dcds*differentiate(upxs)
if Coef has Algebra Fraction Integer then
@@ -106425,7 +106427,7 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
error "integrate: series has term of order -1"
r := getExpon upxs
uls := getULS upxs
- uls := multiplyCoefficients(ratInv(#1 * r + 1),uls)
+ uls := multiplyCoefficients((z1:Integer):Coef+->ratInv(z1*r+1),uls)
monomial(1,1) * puiseux(r,uls)
if Coef has integrate: (Coef,Symbol) -> Coef and _
@@ -106433,7 +106435,8 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
integrate(upxs:%,s:Symbol) ==
(s = variable(upxs)) => integrate upxs
- not entry?(s,variables center upxs) => map(integrate(#1,s),upxs)
+ not entry?(s,variables center upxs)
+ => map((z1:Coef):Coef +-> integrate(z1,s),upxs)
error "integrate: center is a function of variable of integration"
if Coef has TranscendentalFunctionCategory and _
@@ -106449,7 +106452,7 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
integrate(upxs:%,s:Symbol) ==
(s = variable(upxs)) => integrate upxs
not entry?(s,variables center upxs) =>
- map(integrateWithOneAnswer(#1,s),upxs)
+ map((z1:Coef):Coef +-> integrateWithOneAnswer(z1,s),upxs)
error "integrate: center is a function of variable of integration"
if Coef has Field then
diff --git a/changelog b/changelog
index aed74b0..d722b87 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090518 tpd src/axiom-website/patches.html 20090518.11.tpd.patch
+20090518 tpd books/bookvol10.3 ULSCONS +-> conversion
20090518 tpd src/axiom-website/patches.html 20090518.10.tpd.patch
20090518 tpd books/bookvol10.4 EXPRODE +-> conversion
20090518 tpd src/axiom-website/patches.html 20090518.09.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 04fb95d..dd6955c 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1358,5 +1358,7 @@ bookvol10.3 ULSCONS +-> conversion
bookvol10.4 EXPRSOL +-> conversion
20090518.10.tpd.patch
bookvol10.4 EXPRODE +-> conversion
+20090518.11.tpd.patch
+bookvol10.3 ULSCONS +-> conversion