diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index a09315b..2fc86c1 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -146995,7 +146995,7 @@ UnivariateFactorize(ZP) : public == private where n negShiftp(pp: ZP,Modulus:PI): ZP == - map(negShiftz(#1,Modulus),pp) + map(x +-> negShiftz(x,Modulus),pp) -- Choose the bound for the coefficients of factors bound(m: ZP):PI == diff --git a/changelog b/changelog index cd95dcc..d201f9c 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090624 tpd src/axiom-website/patches.html 20090624.06.tpd.patch +20090624 tpd books/bookvol10.4 UNIFACT +-> conversion 20090624 tpd src/axiom-website/patches.html 20090624.05.tpd.patch 20090624 tpd books/bookvol10.4 TWOFACT +-> conversion 20090624 tpd src/axiom-website/patches.html 20090624.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index b8c7695..bc78c95 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1661,5 +1661,7 @@ bookvol10.4 TRIGMNIP +-> conversion
bookvol10.4 CLIP +-> conversion
20090624.05.tpd.patch bookvol10.4 TWOFACT +-> conversion
+20090624.06.tpd.patch +bookvol10.4 UNIFACT +-> conversion