diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 63914ca..00a3e2a 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -111981,7 +111981,7 @@ XRecursivePolynomial(VarSet:OrderedSet,R:Ring): Xcat == Xdef where unexpand p == constant? p => (constant p)::% - vl: List VarSet := sort(#1 > #2, varList p) + vl: List VarSet := sort((y,z) +-> y > z, varList p) x : REGPOLY := _ construct [[v, unexpand r]$TERM for v in vl| (r:=lquo(p,v)) ^= 0] [constant p, x]$VPOLY diff --git a/changelog b/changelog index 6b81289..b1ff1ed 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090519 tpd src/axiom-website/patches.html 20090519.08.tpd.patch +20090519 tpd books/bookvol10.3 XRPOLY +-> conversion 20090519 tpd src/axiom-website/patches.html 20090519.07.tpd.patch 20090519 tpd books/bookvol10.4 FSPECF +-> conversion 20090519 tpd src/axiom-website/patches.html 20090519.06.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index d7addf8..9a22a6c 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1378,5 +1378,7 @@ bookvol10.4 FFFGF +-> conversion
bookvol10.3 UNISEG +-> conversion
20090519.07.tpd.patch bookvol10.4 FSPECF +-> conversion
+20090519.08.tpd.patch +bookvol10.3 XRPOLY +-> conversion