diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index eff8395..6e60d44 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -46998,7 +46998,7 @@ IntegrationResultRFToFunction(R): Exports == Implementation where toEF: IR -> IntegrationResult F - toEF i == map(#1::F, i)$IntegrationResultFunctions2(RF, F) + toEF i == map(z1+->z1::F, i)$IntegrationResultFunctions2(RF, F) expand i == expand toEF i complexExpand i == complexExpand toEF i diff --git a/changelog b/changelog index be0a59f..4cb2c05 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090605 tpd src/axiom-website/patches.html 20090605.04.tpd.patch +20090605 tpd books/bookvol10.4 IRRF2F +-> conversion 20090605 tpd src/axiom-website/patches.html 20090605.03.tpd.patch 20090605 tpd books/bookvol10.4 INTHEORY +-> conversion 20090605 tpd src/axiom-website/patches.html 20090605.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 8a2fd10..36aba71 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1457,5 +1457,7 @@ bookvol10.4 ISUMP +-> conversion
bookvol10.4 ITRIGMNP +-> conversion
20090605.03.tpd.patch bookvol10.4 INTHEORY +-> conversion
+20090605.04.tpd.patch +bookvol10.4 IRRF2F +-> conversion