diff --git a/changelog b/changelog index e080aa2..dad2dfe 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,4 @@ +20071230 tpd src/input/summation.input update tests with new mathml output 20071229 acr src/algebra/mathml.spad fix sum ambiguity bug in mathml (7057) 20071229 tpd src/hyper/bookvol11 add testpage for summation mathml (7057) 20071229 tpd src/input/Makefile add summation regression test (7057) diff --git a/src/input/summation.input.pamphlet b/src/input/summation.input.pamphlet new file mode 100644 index 0000000..78b7aa7 --- /dev/null +++ b/src/input/summation.input.pamphlet @@ -0,0 +1,103 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/input summation.input} +\author{Timothy Daly} +\maketitle +\begin{abstract} +The output of the sum and summation functions is ambiguous. +The mathml.spad code has been changed to fix this but the +problem still remains in the ascii output. +This is bug 7057: summation is ambiguous. +\end{abstract} +\eject +\tableofcontents +\eject +<<*>>= +)spool summation.output +)set message test on +)set message auto off +)clear all + +--S 1 of 5 +summation(i^2,i=a..b)^(d-c) +--R +--R b d - c +--R --+ 2 +--R (1) > i +--R --+ +--R i= a +--R +--R(i=abi2)(d-c) +--R +--R +--R Type: Expression Integer +--E 1 +--S 2 of 5 +summation(i^2^(d-c),i=a..b) +--R +--R b d - c +--R --+ 2 +--R (2) > i +--R --+ +--R i= a +--R +--Ri=abi2(d-c) +--R +--R +--R Type: Expression Integer +--E 2 +--S 3 of 5 +sum(operator(f) (i)+1,i=1..n) +--R +--R n +--R --+ +--R (3) > f(i) + 1 +--R --+ +--R i= 1 +--R +--Ri=1n(f(i)+1) +--R +--R +--R Type: Expression Integer +--E 3 +--S 4 of 5 +sum(operator(f) (i),i=1..n)+1 +--R +--R n +--R --+ +--R (4) > f(i) + 1 +--R --+ +--R i= 1 +--R +--R(i=1nf(i))+1 +--R +--R +--R Type: Expression Integer +--E 4 +--S 5 of 5 +sum(operator(f) (i)+1,i=1..n)^3 +--R +--R n 3 +--R --+ +--R (5) > f(i) + 1 +--R --+ +--R i= 1 +--R +--R(i=1n(f(i)+1))3 +--R +--R +--R Type: Expression Integer +--E 5 +)spool +)lisp (bye) + +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} + + +