diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index 17d9d97..b1d5013 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -37777,7 +37777,7 @@ AbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == monomial(r, degree x) + map(fn,reductum x) if R has Algebra Fraction Integer then - q:Fraction(Integer) * p:% == map(q * #1, p) + q:Fraction(Integer) * p:% == map(x1 +-> q * x1, p) @ <>= diff --git a/changelog b/changelog index a6eb529..db1058a 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090510 tpd src/axiom-website/patches.html 20090510.19.tpd.patch +20090510 tpd books/bookvol10.2 AMR +-> conversion 20090510 tpd src/axiom-website/patches.html 20090510.18.tpd.patch 20090510 tpd books/bookvol10.3 D01ASFA +-> conversion 20090510 tpd src/axiom-website/patches.html 20090510.17.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index d4f4924..32c142c 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1196,5 +1196,7 @@ bookvol10.4 BALFACT +-> conversion
bookvol10.2 DIFEXT +-> conversion
20090510.18.tpd.patch bookvol10.3 D01ASFA +-> conversion
+20090510.19.tpd.patch +bookvol10.2 AMR +-> conversion