[For your information] Available contributions to QuantumLib

[letouzey]

Dear QuantumLib developers, thank you for publishing this nice Coq library. I'm a glad user of it since last year, indeed I was looking for complex numbers, polynomials (including FTA) and matrices. Despite my lack of interest in quantum computing, your work happened to covered a large part of my needs 👍 . I had nonetheless to fill a few missing things. This message is to let you know of these few extensions of mine to QuantumLib, in case some of them might interest you. More details here:

https://github.com/letouzey/hofstadter_g/tree/contribution_to_QuantumLib_1.5.1

Note that this is a trimmed-down branch contribution_to_QuantumLib_1.5.1 of my full development https://github.com/letouzey/hofstadter_g , keeping only the QuantumLib-related stuff. The main branch is the place to go to see QuantumLib in use.

So this "issue" is by no mean a real one, but it seemed more appropriate than a Pull Request (at least for now, we may discuss that if you're interested...).

Best regards
Pierre Letouzey, IRIF lab, Université Paris Cité

[rnrand]

Some of these contributions look really nice! For some reason, we didn't get any notifications about the issues you submitted, but we'll take a look and try to follow up soon.

We're definitely hoping to extend the mathematical foundations of QuantumLib, including abstracting away from Complex matrices a bit.