Yotam Gingold
Yotam Gingold
I pushed a simple (temporary?) fix which simply prefers `DejaVu Sans Mono` if it is installed.
These are great suggestions. Thank you! We are merging in code from the latest "paper" (conditionally accepted; the code is on the `local_func` branch). We will want to link to...
This seems partly related to shadowing the identity matrix. If I change the `I` to a `K`, the second version works: ``` given K ∈ ℤ^(2×2) J ∈ ℤ^(2×2) a...
The Try It link is fixed and it does indeed work when using K instead of I. (Apparently I❤️LA code must end with a blank line.)
The first version even without shadowing the identity matrix doesn't work: ``` K ∈ ℤ^(2×2) J ∈ ℤ^(2×2) K_(J_1,1),(J_2,2) ``` I get: ``` Error on line 4 at column 3....
This should be do-able. For example, you can already write the second case without a comma, as in `D_ij = { 2 if i = j`
In your last example, the dimension of A is still not known. `n` may come form the size of `x`, but you didn't declare `A ∈ ℝ^(n×n)`.
If we're talking about this: ``` given x ∈ ℝ^n A_ij = { 1 if i+1=j E = xᵀ A x ``` I don't see any statements about A's dimensions....
I do think we should make this change for identity matrices, though.
A command line compiler would also work solve this problem. There are lots of command line tools to watch a file for changes and run a command (e.g. `entr`). For...