diff --git a/changelog b/changelog index 6ba752d..1cad657 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20130331 tpd src/axiom-website/patches.html 20130331.01.tpd.patch +20130331 tpd src/input/richalgebraic100-199.input fix failures 20130330 tpd src/axiom-website/patches.html 20130330.02.tpd.patch 20130330 tpd books/bookvol0 fix typo 20130330 tpd src/axiom-website/patches.html 20130330.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 077785d..f1a8601 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4129,5 +4129,7 @@ books/bookvol0 fix typo books/bookvol* update credit list 20130330.02.tpd.patch books/bookvol0 fix typo +20130331.01.tpd.patch +src/input/richalgebraic100-199.input fix failures diff --git a/src/input/richalgebraic100-199.input.pamphlet b/src/input/richalgebraic100-199.input.pamphlet index 8c99352..e4f1350 100644 --- a/src/input/richalgebraic100-199.input.pamphlet +++ b/src/input/richalgebraic100-199.input.pamphlet @@ -10713,7 +10713,15 @@ r0182:= 2*(1-x^2)^(1/2)-2*atanh((1-x^2)^(1/2))+2*log(x) --R Type: Expression(Integer) --E 412 ---S 413 of 512 + +-- +-------+ +-----+ +-- - \|- x + 1 \|x + 1 - 1 +-------+ +-----+ +-- (281) - 2log(------------------------) + 2\|- x + 1 \|x + 1 +-- 2 +-- x +-- Type: Union(Expression(Integer),...) + +--S 413 of 512 ok to fail due to sign changes (see above) a0182:= integrate(t0182,x) --R --R @@ -10725,7 +10733,7 @@ a0182:= integrate(t0182,x) --R Type: Union(Expression(Integer),...) --E 413 ---S 414 of 512 +--S 414 of 512 ok to fail due to sign changes (see above) m0182:= a0182-r0182 --R --R