einops in lean livestream

Stream: general

[Alok Singh]

https://www.twitch.tv/yuppiemephistopheles

[Kim Morrison]

This post needs more context, please! :-)

[Alok Singh]

sure, my friend @Quinn and I are working on implementing an einops syntax for scilean arrays

right now we're writing unit tests

[Tomas Skrivan]

By einops do you mean Einstein notation? Btw. I'm in the process of refactoring SciLean to use @James Gallicchio's LeanColls library which now supports ndimensional array notation. See this test file. It might be worth implementing Einstein notation just for LeanColls.

[Alok Singh]

https://meet.google.com/ads-nrmo-bfw

[Tomas Skrivan]

(deleted)

[James Gallicchio]

I never understood einstein notation but if people want it I'd be open to it :joy: