diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index c2a5b78..323c45f 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -48256,9 +48256,9 @@ RealClosedField : Category == PUB where negative?(n) => inv(sqrt(x,(-n) :: N)) sqrt(x,n :: N) - allRootsOf(p:SUP(RN)) == allRootsOf(map(#1 :: $ ,p)$PACK(RN,$)) + allRootsOf(p:SUP(RN)) == allRootsOf(map(z +-> z::$ ,p)$PACK(RN,$)) - allRootsOf(p:SUP(Z)) == allRootsOf(map(#1 :: $ ,p)$PACK(Z,$)) + allRootsOf(p:SUP(Z)) == allRootsOf(map(z +-> z::$ ,p)$PACK(Z,$)) allRootsOf(p:POLY($)) == allRootsOf(univariate(p)) diff --git a/changelog b/changelog index da619a1..c25b819 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090511 tpd src/axiom-website/patches.html 20090511.04.tpd.patch +20090511 tpd books/bookvol10.2 RCFIELD +-> conversion 20090511 tpd src/axiom-website/patches.html 20090511.03.tpd.patch 20090511 tpd books/bookvol10.4 CHVAR +-> conversion 20090511 tpd src/axiom-website/patches.html 20090511.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 5194a42..afbec60 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1220,5 +1220,7 @@ bookvol10.2 FS +-> conversion
bookvol10.3 EXPR +-> conversion
20090511.03.tpd.patch bookvol10.4 CHVAR +-> conversion
+20090511.04.tpd.patch +bookvol10.2 RCFIELD +-> conversion