diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 558e376..cdbfe72 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -10399,7 +10399,8 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where checkForZero(p, x, a, b, incl?) == checkForZero( - map(#1::F, univariate(p, x))$SparseUnivariatePolynomialFunctions2(P, F), + map(s+->s::F, univariate(p, x))_ + $SparseUnivariatePolynomialFunctions2(P, F), a, b, incl?) checkForZero(q, a, b, incl?) == @@ -10438,7 +10439,7 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where i case fin => l := realZeros(p, r := i.fin) incl? => l - select_!(keeprec?(r.left, #1) and keeprec?(r.right, #1), l) + select_!(s+->keeprec?(r.left, s) and keeprec?(r.right, s), l) i case all => realZeros p i case halfinf => empty?(l := realZeros p) => empty() @@ -10447,7 +10448,8 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where ["min"/[t.left for t in l], i.halfinf.endpoint] l := [u::REC for t in l | (u := refine(p, t, bounds)) case REC] incl? => l - select_!(keeprec?(i.halfinf.endpoint, #1), l) + ep := i.halfinf.endpoint + select_!(s+->keeprec?(ep, s), l) error "findRealZero: should not happpen" checkBudan(p, a, b, incl?) == diff --git a/changelog b/changelog index ef63b70..5c16414 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090514 tpd src/axiom-website/patches.html 20090514.03.tpd.patch +20090514 tpd books/bookvol10.4 DFINTTLS +-> conversion 20090514 tpd src/axiom-website/patches.html 20090514.02.tpd.patch 20090514 tpd books/bookvol10.3 MYEXPR +-> conversion 20090514 tpd src/axiom-website/patches.html 20090514.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index efea0f8..f3b7c8a 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1292,5 +1292,7 @@ bookvol10.4 CYCLES +-> conversion
bookvol10.3 MSET +-> conversion
20090514.02.tpd.patch bookvol10.3 MYEXPR +-> conversion
+20090514.03.tpd.patch +bookvol10.4 DFINTTLS +-> conversion