diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index 5ceb415..39e9f4d 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -8516,7 +8516,7 @@ Collection(S:Type): Category == HomogeneousAggregate(S) with construct select(f, parts x) if S has SetCategory then - remove(s:S, x:%) == remove(#1 = s, x) + remove(s:S, x:%) == remove(y +-> y = s, x) reduce(f:(S,S)->S, x:%, s1:S, s2:S) == reduce(f, parts x, s1, s2) removeDuplicates(x) == construct removeDuplicates parts x diff --git a/changelog b/changelog index ca87da4..2db1bcc 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090508 tpd src/axiom-website/patches.html 20090508.07.tpd.patch +20090508 tpd books/bookvol10.2 CLAGG +-> conversion 20090508 tpd src/axiom-website/patches.html 20090508.06.tpd.patch 20090508 tpd books/bookvol10.3 ALGFF +-> conversion 20090508 tpd src/axiom-website/patches.html 20090508.05.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 812316b..df19184 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1126,5 +1126,7 @@ bookvol10.4 AF +-> conversion
bookvol10.2 FEVALAB +-> conversion
20090508.06.tpd.patch bookvol10.3 ALGFF +-> conversion
+20090508.07.tpd.patch +bookvol10.2 CLAGG +-> conversion