diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 7b3ebb0..d357728 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -129462,12 +129462,12 @@ QuasiAlgebraicSet2(vl,nv) : C == T where v = tv => 0 variable((convert v)@Symbol)@Union(Var,"failed")::Var::Dpoly - npoly(p:Dpoly) : newPoly == map(f #1, #1::newPoly, p) + npoly(p:Dpoly) : newPoly == map(z1 +-> f z1, z2 +-> z2::newPoly, p) oldpoly(q:newPoly) : Union(Dpoly,"failed") == (x:=mainVariable q) case "failed" => (leadingCoefficient q)::Dpoly (x::newVar = tv) => "failed" - map(g #1,#1::Dpoly, q) + map(z1 +-> g z1, z2 +-> z2::Dpoly, q) radicalSimplify x == status(x)$QALG = true => x -- x is empty diff --git a/changelog b/changelog index a8d97f0..7444e52 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090619 tpd src/axiom-website/patches.html 20090619.04.tpd.patch +20090619 tpd books/bookvol10.4 QALGSET2 +-> conversion 20090619 tpd src/axiom-website/patches.html 20090619.03.tpd.patch 20090619 tpd src/axiom-website/download.html add may2009 binaries 20090619 tpd src/axiom-website/patches.html 20090619.02.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 262b3d3..a9acea2 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1585,5 +1585,7 @@ bookvol10.4 INTPAF +-> conversion
bookvol10.4 PUSHVAR +-> conversion
20090619.03.tpd.patch src/axiom-website/download.html add may2009 binaries
+20090619.04.tpd.patch +bookvol10.4 QALGSET2 +-> conversion