Bug in Maxima or I'm missing something?

  • Thread starter Thread starter fluidistic
  • Start date Start date
  • Tags Tags
    Bug Maxima
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 replies · 1K views
fluidistic
Gold Member
Messages
3,934
Reaction score
286
I am clueless. Here's the model I tried to follow:
Code:
g(a):=a^2-1;
Code:
f(a,b):=a+g(a)-b;
Code:
f(a,b);
With output
Code:
−b+a^2+a−1
Which is 1)Define a function in terms of some variable(s).
2)Define another function in terms of some variable(s) and in terms of the function defined in 1).
3)Evaluate the function in 2) to see the explicit and eventually simplified form of that function.

I tried this with a more complicated function but the output is troublesome:
1)
Code:
Z(beta, delta, hbar, omega):=exp(-beta*hbar*omega)*((exp(-beta*delta)-1)/(1-exp(-2*beta*hbar*omega))+1/(1-exp(-beta*hbar*omega))^2);
2)
Code:
P_n(beta, delta, hbar, omega,n):=(exp(-beta*(hbar*omega*(1+2*n)+delta)))/Z(beta, delta, hbar, omega);
3)
Code:
P_n(beta, delta, hbar, omega,n);
with output
Code:
e^(beta*hbar*omega−beta*(hbar*(2*n+1)*omega+delta))
which reduces to
Code:
e^(−2*beta*hbar*n*omega−beta*delta)
which is way too simple.
On my draft I've got a more "complex" function than this ultra reduction and there's absolutely no way to get what Maxima got. It's almost as if Maxima did not divide by Z(beta, etc) when evaluating 3).

Am I missing something? Or Maxima is bugged?
 
on Phys.org
Sorry guys, I am unable to reproduce this behavior anymore, I now get the correct result.