diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 3815797..d189c64 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -84516,7 +84516,7 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where invert(p) == d := degree(p) - mapExponents((d-#1)::N, p) + mapExponents(z +-> (d-z)::N, p) rootBound(p) == res : TheField := 1 diff --git a/changelog b/changelog index ffe83fa..c180ae0 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090517 tpd src/axiom-website/patches.html 20090517.04.tpd.patch +20090517 tpd books/bookvol10.3 ROIRC +-> conversion 20090517 tpd src/axiom-website/patches.html 20090517.03.tpd.patch 20090517 tpd books/bookvol10.4 RDEEF +-> conversion 20090517 tpd src/axiom-website/patches.html 20090517.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 60abaa0..6d0b330 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1334,5 +1334,7 @@ bookvol10.4 EFSTRUC +-> conversion
bookvol10.3 RULE +-> conversion
20090517.03.tpd.patch bookvol10.4 RDEEF +-> conversion
+20090517.04.tpd.patch +bookvol10.3 ROIRC +-> conversion