Yotam Gingold
Yotam Gingold
Another option: Check whenever the user switches back to the GUI. The event for this may be called something like window active or focus. You could also check whenever the...
Currently in the paper we write: "I❤️LA allows comments for type declarations, but not comments in general. I❤️LA is designed to support notation-heavy expressions and type definitions in papers, not...
What you propose is exciting. A VSCode extension and optimization with automatic algorithm selection are great ideas. We do have a discord server. Please join! You can find the join...
Yes, minimization would be strange as a dimension. I think only basic arithmetic. Maybe only multiplication and addition of integers. Dimensions must be integer, so some amount of type tracking...
I think it would be OK to require the expressions to match without evaluating them. As in, the vector ℝ^(n + 3 - 3) would not match ℝ^(n) or even...
What is this example trying to do? ``` ∑_i ∑_(j for j±2>i) A_i,j where A ∈ ℝ^(n×n) ``` The generated code adds A_i,j when `j+2 > i` or `j-2 >...
Right, the `j+2` isn't needed. The new example is more plausible. I guess "in bounds" is implied?
Yes, superscript arithmetic is a step too far. Really, long unicode superscripts and subscripts seem like a formatting issue to me. I can't imagine anyone will type more than a...
Is that a superscript x or a superscript ×? I don't think I like this.
This is not a summation where the indices come from a set. This is filtering the numbers from 1 to |a| based on whether they are also members of the...