-Stefan

Christian Gross wrote:

>> Hello everybody!
>>
>> Please have a look at mbase://LeAM_calculus/exponential/prf_exp_mult
>> I have written a line with a double sum there:
>>
>> <CMP xml:lang="x-all"><p style="cm">$sum (0._. ?
>> ,lambda(n,(x+y)^n/n!))= sum (0._. ? ,lambda(n,sum
>> (0..n,lambda(j, (n!/(j!*(n-j)!)) * x^j * y^(n-j))/n!)))= sum (0..
>> ? ,lambda(n,sum(0._.n,lambda(j,(x^j/j!) *
>> (y^(n-j)/(n-j)!)))))$.</p></CMP>
>>
>> but when I look at the output, the inner sum is not presented corrrectly,
>> one time it is not rendered at at, another time the "j" as its index get
>> eaten up (i.e., has vanished).
>>
>> And then take a look at:
>> mbase://LeAM_calculus/exponential/intro_exp_school
>>
>> Here there is a problem with the log-function (with respect to some basis
>> a), which looks totally weird. I wrote there:
>>
>> $ap(diff(f),x_0)=c*a^x_0*(1/log(a,e))=ap(f,x_0)*(1/log(a,e))$
>>
>> So did you change anything in the syntax of this symbol and didn't tell
>> me? Or what's the reason for this weird presentation (I mean, it has
>> worked one time...)
>>
>> Christian