diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index c72b565..a4ef5e9 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -15825,7 +15825,7 @@ Dictionary(S:SetCategory): Category == if % has finiteAggregate then -- remove(f:S->Boolean,t:%) == remove_!(f, copy t) -- select(f, t) == select_!(f, copy t) - select_!(f, t) == remove_!(not f #1, t) + select_!(f, t) == remove_!((x:S):Boolean +-> not f(x), t) --extract_! d == -- empty? d => error "empty dictionary" diff --git a/changelog b/changelog index 134a925..4ac2b6f 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090509 tpd src/axiom-website/patches.html 20090509.10.tpd.patch +20090509 tpd books/bookvol10.2 DIAGG +-> conversion 20090509 tpd src/axiom-website/patches.html 20090509.09.tpd.patch 20090509 tpd books/bookvol10.3 CONTFRAC +-> conversion 20090509 tpd src/axiom-website/patches.html 20090509.08.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 10fe583..8b4e462 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1150,5 +1150,7 @@ bookvol10.2 PSETCAT +-> conversion
bookvol10.4 INTAF +-> conversion
20090509.09.tpd.patch bookvol10.3 CONTFRAC +-> conversion
+20090509.10.tpd.patch +bookvol10.2 DIAGG +-> conversion