Re: [Maxima-discuss] qm-maxima package

[ehm <eri...@gm...>]

Hi Daniel,

What version of Maxima/wxMaxima are you using? Independent of qm-
maxima, if you input:

declare(c,complex);
conjugate(c);

you should see the overbar in wxMaxima, while you will see
'conjugate(c)' in the Maxima terminal.


On Fri, 2024-10-18 at 18:10 +0000, Daniel Volinski via Maxima-discuss
wrote:
>  
> Hi Eric,
> 
> I'm making progress.
> I'm still on qm-examples-1.wxm comparing to qm-examples-1.wxmx
> 
> The first cell:
> k: ket([a]); => |[a]>  it is OK
> b: bra([b]); => <[b]| it is OK
> b . k; => braket(<[b]|,|[a]>) in your file it is kron_delta(a,b)
> 

Strange that you don't see the kron_delta(). Try it like this

k: ket([u]);
b: bra([d]);
b . k;

you should see kron_delta(u,d).

> The second cell is identical
> L: makelist( concat(c,i), i, 5 );
> apply('declare,[L,complex])$
> facts();
> 

Do you see that all the c_i variables are declared complex after
facts()?

> The third cell:
> k: sum( concat(c,i)*ket([i]),i,1,5);
> => |[5]>*c5+|[4]>*c4+|[3]>*c3+|[2]>*c2+|[1]>*c1 it is OK
> 
> b: dagger(k); => on your output all the conjugates have an overbar,
> in my output it is conjugate
> 
> <[5]|*conjugate(c5)+<[4]|*conjugate(c4)+<[3]|*conjugate(c3)+<[2]|*con
> jugate(c2)+<[1]|*conjugate(c1)
> 
> then:
> b . k; => <[5]|*conjugate(c5) . |[5]>*c5+<[5]|* conjugate(c5) .
> |[4]>*c4+<[5]|*conjugate(c5) . |[3]>*c3+
> <[5]|*conjugate(c5) . |[2]>*c2+<[5]|*conjugate(c5) .
> |[1]>*c1+<[4]|*conjugate(c4) . |[5]>*c5+<[4]|*conjugate(c4)
>  . |[4]>*c4+<[4]|*conjugate(c4) . |[3]>*c3+<[4]|*conjugate(c4) .
> |[2]>*c2+<[4]|*conjugate(c4) . |[1]>*c1+
> <[3]|*conjugate(c3) . |[5]>*c5+<[3]|*conjugate(c3) .
> |[4]>*c4+<[3]|*conjugate(c3) . |[3]>*c3+<[3]|*conjugate(c3)
>  . |[2]>*c2+<[3]|*conjugate(c3) . |[1]>*c1+<[2]|*conjugate(c2) .
> |[5]>*c5+<[2]|*conjugate(c2) . |[4]>*c4+
> <[2]|*conjugate(c2) . |[3]>*c3+<[2]|*conjugate(c2) .
> |[2]>*c2+<[2]|*conjugate(c2) . |[1]>*c1+<[1]|*conjugate(c1)
>  . |[5]>*c5+<[1]|*conjugate(c1) . |[4]>*c4+<[1]|*conjugate(c1) .
> |[3]>*c3+<[1]|*conjugate(c1) . |[2]>*c2+
> <[1]|*conjugate(c1) . |[1]>*c1
> 
> Daniel Volinski
> 

I've pushed version 0.9.5-beta5 with some new and updated examples if
you want to download the new version.

-Eric