diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index f680df7..7565da6 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -127471,15 +127471,15 @@ PrimitiveRatRicDE(F, UP, L, LQ): Exports == Implementation where
diff := D()$L
diffq := D()$LQ
- lambda(c, l) == innerlb(l, order(#1, c)::Z)
- infLambda l == innerlb(l, -(degree(#1)::Z))
- infmax(rec, l) == innermax(rec, l, degree(#1)::Z)
- dmax(rec, c, l) == innermax(rec, l, - order(#1, c)::Z)
- tau0(p, q) == ((q exquo (p ** order(q, p)))::UP) rem p
- poly1(c, cp, i) == */[monomial(1,1)$UP2 - (j * cp)::UP2 for j in 0..i-1]
- getIndices(n, l) == removeDuplicates_! concat [r.ij for r in l | r.deg=n]
- denomRicDE l == */[c ** bound(c, l) for c in factoredDenomRicDE l]
- polyRicDE(l, zeros) == concat([0, l], polysol(l, 0, false, zeros))
+ lambda(c, l) == innerlb(l, z +-> order(z, c)::Z)
+ infLambda l == innerlb(l, z +-> -(degree(z)::Z))
+ infmax(rec,l) == innermax(rec, l, z +-> degree(z)::Z)
+ dmax(rec, c,l) == innermax(rec, l, z +-> - order(z, c)::Z)
+ tau0(p, q) == ((q exquo (p ** order(q, p)))::UP) rem p
+ poly1(c, cp,i) == */[monomial(1,1)$UP2 - (j * cp)::UP2 for j in 0..i-1]
+ getIndices(n,l) == removeDuplicates_! concat [r.ij for r in l | r.deg=n]
+ denomRicDE l == */[c ** bound(c, l) for c in factoredDenomRicDE l]
+ polyRicDE(l,zeros) == concat([0, l], polysol(l, 0, false, zeros))
-- refine([p1,...,pn], foo) refines the list of factors using foo
refine(l, ezfactor) ==
@@ -127490,7 +127490,7 @@ PrimitiveRatRicDE(F, UP, L, LQ): Exports == Implementation where
ans:List(FRC) := empty()
finite? and zero? b => ans
lc := leadingDenomRicDE(c, op)
- if finite? then lc := select_!(#1.deg <= b, lc)
+ if finite? then lc := select_!(z +-> z.deg <= b, lc)
for rec in lc repeat
for r in zeros(c, rec.eq) | r ^= 0 repeat
rcn := r /$RF (c ** rec.deg)
@@ -127510,7 +127510,7 @@ PrimitiveRatRicDE(F, UP, L, LQ): Exports == Implementation where
not(empty?(ind := dmax(rec, c, l))) repeat
ans := concat([rec.deg, getPol(rec, c, l, ind)], ans)
done := concat(rec.deg, done)
- sort_!(#1.deg > #2.deg, ans)
+ sort_!((z1,z2) +-> z1.deg > z2.deg, ans)
getPol(rec, c, l, ind) ==
-- one?(rec.deg) => getPol1(ind, c, l)
@@ -127557,7 +127557,7 @@ PrimitiveRatRicDE(F, UP, L, LQ): Exports == Implementation where
not(empty?(ind := infmax(rec, l))) repeat
ans := concat([rec.deg, getPoly(rec, l, ind)], ans)
done := concat(rec.deg, done)
- sort_!(#1.deg > #2.deg, ans)
+ sort_!((z1,z2) +-> z1.deg > z2.deg, ans)
factoredDenomRicDE l ==
bd := factors balancedFactorisation(leadingCoefficient l, coefficients l)
@@ -127619,7 +127619,7 @@ PrimitiveRatRicDE(F, UP, L, LQ): Exports == Implementation where
ans:List(POL) := empty()
finite? and zero? b => ans
lc := leadingCoefficientRicDE l
- if finite? then lc := select_!(#1.deg <= b, lc)
+ if finite? then lc := select_!(z +-> z.deg <= b, lc)
for rec in lc repeat
for a in zeros(rec.eq) | a ^= 0 repeat
atn:UP := monomial(a, rec.deg)
diff --git a/changelog b/changelog
index c149838..e7b7b78 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090614 tpd src/axiom-website/patches.html 20090614.03.tpd.patch
+20090614 tpd books/bookvol10.4 ODPRRIC +-> conversion
20090614 tpd src/axiom-website/patches.html 20090614.02.tpd.patch
20090614 tpd books/bookvol10.4 ODEPRIM +-> conversion
20090614 tpd src/axiom-website/patches.html 20090614.01.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 3824d8a..1f0d200 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1569,5 +1569,7 @@ bookvol10.4 POLY2UP +-> conversion
bookvol10.4 PRIMELT +-> conversion
20090614.02.tpd.patch
bookvol10.4 ODEPRIM +-> conversion
+20090614.03.tpd.patch
+bookvol10.4 ODPRRIC +-> conversion