David Simmons-Duffin

This is a good question. The construction that was there is a kind of "newtype" for a class. I believe it can be used in conjunction with various `Dict` tricks,...

I think that makes sense. On Mon, Nov 29, 2021 at 12:47 PM Joel McCracken ***@***.***> wrote: > i'm leaning toward just mearging this and making the next big release...

By now, other people have submitted pull requests to move to later GHC versions, and master has moved on. I still don't know what the effects of switching Serializable to...

FIxed with https://github.com/haskell-distributed/distributed-process/pull/370

These would definitely be useful. I implemented them here: https://github.com/davidsd/hyperion/blob/master/src/Hyperion/Concurrent.hs and I am interested in incorporating them into this package.

Vasiliy found this suite of SDP tests https://github.com/vsdp/SDPLIB . The *primal* form of these problems takes exactly the form of a PMP with constant matrices. So we can run these...

I'm sorry, I have not been maintaining this package for several years. I am not able to debug installation problems.

Only the zero at 4/3 corresponds to a saturated positivity constraint, so spectrum should only find that one. On Mon, Nov 20, 2023 at 5:38 PM Vasiliy Dommes ***@***.***> wrote:...

Thanks for the pull request! I should say that 1) I've had no communication with the upstream LiE developers, 2) this repository also has not been maintained in a while,...

Hi Nando, Do I understand correctly that in your extended version of the positivity constraint, x is now a vector taking values in R^n? So would the bilinear basis now...