diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 122458b..ff250ed 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -124101,7 +124101,7 @@ PolynomialFunctions2(R:Ring, S:Ring): with ++ map(f, p) produces a new polynomial as a result of applying ++ the function f to every coefficient of the polynomial p. == add - map(f, p) == map(#1::Polynomial(S), f(#1)::Polynomial(S), + map(f, p) == map(x1 +-> x1::Polynomial(S), x2 +-> f(x2)::Polynomial(S), p)$PolynomialCategoryLifting(IndexedExponents Symbol, Symbol, R, Polynomial R, Polynomial S) diff --git a/changelog b/changelog index 1cab05e..a8f8cbd 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090612 tpd src/axiom-website/patches.html 20090612.06.tpd.patch +20090612 tpd books/bookvol10.4 POLY2 +-> conversion 20090612 tpd src/axiom-website/patches.html 20090612.05.tpd.patch 20090612 tpd books/bookvol10.4 PFBRU +-> conversion 20090612 tpd src/axiom-website/patches.html 20090612.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 9728298..38556fd 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1557,5 +1557,7 @@ bookvol10.4 POLYCATQ +-> conversion
bookvol10.4 PFBR +-> conversion
20090612.05.tpd.patch bookvol10.4 PFBRU +-> conversion
+20090612.06.tpd.patch +bookvol10.4 POLY2 +-> conversion