diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 3b0c3b9..8570510 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -57383,20 +57383,20 @@ MappingPackage4(A:SetCategory, B:Ring): funcAdd(g:fab,h:fab,x:A):B == ((g x) + (h x))$B - (a:fab)+(b:fab) == funcAdd(a,b,#1) + (a:fab)+(b:fab) == c +-> funcAdd(a,b,c) funcSub(g:fab,h:fab,x:A):B == ((g x) - (h x))$B - (a:fab)-(b:fab) == funcSub(a,b,#1) + (a:fab)-(b:fab) == c +-> funcSub(a,b,c) funcMul(g:fab,h:fab,x:A):B == ((g x) * (h x))$B - (a:fab)*(b:fab) == funcMul(a,b,#1) + (a:fab)*(b:fab) == c +-> funcMul(a,b,c) funcDiv(g:faei,h:faei,x:A):Expression(Integer) == ((g x) / (h x))$Expression(Integer) - (a:faei)/(b:faei) == funcDiv(a,b,#1) + (a:faei)/(b:faei) == c +-> funcDiv(a,b,c) @ <>= diff --git a/changelog b/changelog index e54946a..825d75d 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090607 tpd src/axiom-website/patches.html 20090607.06.tpd.patch +20090607 tpd books/bookvol10.4 MAPPKG4 +-> conversion 20090607 tpd src/axiom-website/patches.html 20090607.05.tpd.patch 20090607 tpd src/input/tpieazas001.input (rename) complete page 001 20090607 tpd src/axiom-website/patches.html 20090607.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 0091c21..a50f2a1 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1487,5 +1487,7 @@ tpieazas.input CATS tests of algebraic identites
bookvol10.4 MAPPGK3 +-> conversion
20090607.05.tpd.patch tpieazas001.input complete page 001
+20090607.06.tpd.patch +bookvol10.4 MAPPGK4 +-> conversion