diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index 64fc7af..d6d1a66 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -13041,7 +13041,7 @@ MatrixCategory(R,Row,Col): Category == Definition where ans if R has Field then - x / r == map(#1 / r,x) + x / r == map((r1:R):R +-> r1 / r,x) x:% ** n:Integer == not((nn:= nrows x) = ncols x) => error "**: matrix must be square" diff --git a/changelog b/changelog index 53ad185..ec6d507 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090509 tpd src/axiom-website/patches.html 20090509.05.tpd.patch +20090509 tpd books/bookvol10.2 MATCAT +-> conversion (missed one) 20090509 tpd src/axiom-website/patches.html 20090509.04.tpd.patch 20090509 tpd books/bookvol10.2 MATCAT +-> conversion 20090509 tpd src/axiom-website/patches.html 20090509.03.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index d480a87..120d9e9 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1140,5 +1140,7 @@ bookvol10.3 BFUNCT +-> conversion
bookvol10.4 INTALG +-> conversion
20090509.04.tpd.patch bookvol10.2 MATCAT +-> conversion
+20090509.04.tpd.patch +bookvol10.2 MATCAT +-> conversion (missed one)