Re: [Maxima-discuss] A primitive simplifier for bra and ket notation

[Robert D. <rob...@gm...>]

On 2018-04-09, Andrii Sokolov <and...@gm...> wrote:

> This .mac file provides a simplifier for the Dirac notation. E.g. it knows
> that <0|0> = 1, <0|1> = 1, <1|† <0| = |1><0| (though the actual syntax is
> different). Plus it knows about an operator currently named 'a' that
> commutes with bras and kets.
>
> You can see the simplifier was done for a one particular case, for which
> I've applied it successfully.
>
> However, I believe it may be useful for somebody else.

Andrii, thanks for your work on this topic.

I would like to suggest that you create a project to publish this work
and make it easier for others to find it and contribute changes to it.

Specifically there are at least two approaches: (1) Create your own
project on a project host such as Github, and commit your program and
other files such as documentation and a test script. (2) Fork the
maxima-packages project on Github, commit your files to your fork, and
issue a pull request to ask for your files to be integrated into the
project. 

See: https://github.com/maxima-project-on-github/maxima-packages
The README there explains in more detail how it works.

I've been trying to figure out how maxima-packages will work exactly;
there are unresolved questions about how to install packages, and how to
keep forks up to date. At this point item 1 above is certainly more
predictable but if you are adventurous, you can help us figure out
item 2.

best, 

Robert Dodier