diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 22cf884..9c0c3bc 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -1009,7 +1009,7 @@ AlgebraicIntegration(R, F): Exports == Implementation where r := radPoly(r1.poly)::Record(radicand:RF, deg:N) q := retract(r.radicand) curve := RadicalFunctionField(F, UP, UPUP, q::RF, r.deg) - map(UPUP2F(lift #1, r1.coef, t, k), + map(x1+->UPUP2F(lift x1, r1.coef, t, k), algintegrate(reduce f1, derivation)$ALG)$IR2 algintegrate(f, t, k, derivation) == @@ -1017,14 +1017,14 @@ AlgebraicIntegration(R, F): Exports == Implementation where f1 := F2UPUP(f, t, k, p) monomial(inv(r1.coef), 1) modulus:= UP2UPUP(p := minPoly k, t) curve := AlgebraicFunctionField(F, UP, UPUP, r1.poly) - map(UPUP2F(lift #1, r1.coef, t, k), + map(x1+->UPUP2F(lift x1, r1.coef, t, k), algintegrate(reduce f1, derivation)$ALG)$IR2 UP2UPUP(p, k) == - map(univariate(#1,k),p)$SparseUnivariatePolynomialFunctions2(F,RF) + map(x1+->univariate(x1,k),p)$SparseUnivariatePolynomialFunctions2(F,RF) UPUP2F(p, cf, t, k) == - map(multivariate(#1, t), + map((x1:RF):F+->multivariate(x1, t), p)$SparseUnivariatePolynomialFunctions2(RF, F) (multivariate(cf, t) * k::F) diff --git a/changelog b/changelog index 6b0550d..67f1e30 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090509 tpd src/axiom-website/patches.html 20090509.08.tpd.patch +20090509 tpd books/bookvol10.4 INTAF +-> conversion 20090509 tpd src/axiom-website/patches.html 20090509.07.tpd.patch 20090509 tpd books/bookvol10.2 PSETCAT +-> conversion 20090509 tpd src/axiom-website/patches.html 20090509.06.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 03a4289..1ba9be6 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1146,5 +1146,7 @@ bookvol10.2 MATCAT +-> conversion (missed one)
bookvol10.3 BOP +-> conversion
20090509.07.tpd.patch bookvol10.2 PSETCAT +-> conversion
+20090509.08.tpd.patch +bookvol10.4 INTAF +-> conversion