diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index b57384f..2caf6c3 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -114981,7 +114981,7 @@ NormInMonogenicAlgebra(R, PolR, E, PolE): Exports == Implementation where import UnivariatePolynomialCategoryFunctions2(R, PolR, PolR, SUP PolR) PolR2SUP: PolR -> SUP PolR - PolR2SUP q == map(#1::PolR, q) + PolR2SUP q == map(x +-> x::PolR, q) defpol := PolR2SUP(definingPolynomial()$E) diff --git a/changelog b/changelog index 6706093..0d0321f 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090608 tpd src/axiom-website/patches.html 20090608.09.tpd.patch +20090608 tpd books/bookvol10.4 NORMMA +-> conversion 20090608 tpd src/axiom-website/patches.html 20090608.08.tpd.patch 20090608 tpd books/bookvol10.4 MULTSQFR +-> conversion 20090608 tpd src/axiom-website/patches.html 20090608.07.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index b8cc1e5..04fd6a4 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1511,5 +1511,7 @@ bookvol10.4 MPRFF +-> conversion
bookvol10.4 MFINFACT +-> conversion
20090608.08.tpd.patch bookvol10.4 MULTSQFR +-> conversion
+20090608.09.tpd.patch +bookvol10.4 NORMMA +-> conversion