Shashi Gowda
Shashi Gowda
Should we also check the output dimension?
Alright that sounds good. So by default it will be turned on, and the downstream packages can turn it off.
What is your use case? We have thought about this a bit, because it becomes useful if you want to have lambda expressions that one can pattern match, but still...
This code works for me currently on the latest Symbolics. Could you confirm?
I cursorily looked at what would be required to do this, it seems rather complicated, could you ramble a bit about what would be a good approach? Ideally we would...
Yes that seems like a good approach! It wouldn't require much fundamental change to the current code.
I take that back, there's too much information in the intermediate representation, I am not sure if it can go into the type very easily. But it might be possible...
Cool representation. There were Map Reduce and Idx types in in ArrayMeta which accomplished the same. But I like doing something similar to broadcast. I think practically speaking this may...
@vchuravy @mcabbott @chriselrod @tkf let me know if all 3 of you have any interest in standardizing something like this, or alternatively have better ideas/objections.
There are a lot of options that `@tullio` takes! One way to represent at least the Boolean options is probably a Union of types representing the options that are turned...