diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index 1199e22..64fc7af 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -12962,11 +12962,11 @@ MatrixCategory(R,Row,Col): Category == Definition where - x == map(- #1,x) - a:R * x:% == map(a * #1,x) + a:R * x:% == map((r1:R):R +-> a * r1,x) - x:% * a:R == map(#1 * a,x) + x:% * a:R == map((r1:R):R +-> r1 * a,x) - m:Integer * x:% == map(m * #1,x) + m:Integer * x:% == map((r1:R):R +-> m * r1,x) x:% * y:% == (ncols x ^= nrows y) => diff --git a/changelog b/changelog index 80c3d40..53ad185 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +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 20090509 tpd books/bookvol10.4 INTALG +-> conversion 20090509 tpd src/axiom-website/patches.html 20090509.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 20883a1..d480a87 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1138,5 +1138,7 @@ bookvol10.2 ARR2CAT +-> conversion
bookvol10.3 BFUNCT +-> conversion
20090509.03.tpd.patch bookvol10.4 INTALG +-> conversion
+20090509.04.tpd.patch +bookvol10.2 MATCAT +-> conversion