diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 257d90b..251f770 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -59622,7 +59622,7 @@ ModularDistinctDegreeFactorizer(U):C == T where T == add reduction(u:U,p:I):U == zero? p => u - map(positiveRemainder(#1,p),u) + map((i1:I):I +-> positiveRemainder(i1,p),u) merge(p:I,q:I):Union(I,"failed") == p = q => p p = 0 => q diff --git a/changelog b/changelog index c9a6037..9a223c9 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090608 tpd src/axiom-website/patches.html 20090608.04.tpd.patch +20090608 tpd books/bookvol10.4 MDDFACT +-> conversion 20090608 tpd src/axiom-website/patches.html 20090608.03.tpd.patch 20090608 tpd src/input/Makefile tpieazas002 CATS test added 20090608 tpd src/input/tpieazas002.input added diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 7a6b416..24e2789 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1501,5 +1501,7 @@ bookvol10.4 MATLIN +-> conversion
bookvol10.4 MESH +-> conversion
20090608.03.tpd.patch tpieazas002.input CATS test added
+20090608.04.tpd.patch +bookvol10.4 MDDFACT +-> conversion