diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 47998e7..ea36b05 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -49946,8 +49946,8 @@ IntegrationResult(F:Field): Exports == Implementation where r:Q * u:% == r = 0 => 0 - mkAnswer(Q2F(r) * ratpart u, map(timelog(r, #1), logpart u), - map(timene(r, #1), notelem u)) + mkAnswer(Q2F(r) * ratpart u, map(x1+->timelog(r, x1), logpart u), + map(x2+->timene(r, x2), notelem u)) -- Initial attempt, quick and dirty, no simplification u + v == @@ -49955,7 +49955,8 @@ IntegrationResult(F:Field): Exports == Implementation where nesimp concat(notelem u, notelem v)) if F has PartialDifferentialRing(Symbol) then - differentiate(u:%, x:Symbol):F == differentiate(u, differentiate(#1, x)) + differentiate(u:%, x:Symbol):F == + differentiate(u, x1+->differentiate(x1, x)) differentiate(u:%, derivation:F -> F):F == derivation ratpart u + diff --git a/changelog b/changelog index 2c93e64..31e6347 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090512 tpd src/axiom-website/patches.html 20090512.10.tpd.patch +20090512 tpd books/bookvol10.3 IR +-> conversion 20090512 tpd src/axiom-website/patches.html 20090512.09.tpd.patch 20090512 tpd books/bookvol10.4 CDEN +-> conversion 20090512 tpd src/axiom-website/patches.html 20090512.08.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index ccd6dae..3d57378 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1270,5 +1270,7 @@ bookvol10.3 INT +-> conversion
bookvol10.4 CDEN +-> conversion
20090512.09.tpd.patch bookvol10.4 CDEN +-> conversion
+20090512.10.tpd.patch +bookvol10.2 IR +-> conversion