Alec Jacobson
Alec Jacobson
Here's what I might like to write: ``` given V ∈ ℝ^(3×n) F ∈ ℤ^(3×m) Matrix computing gradient in a 2D triangle with corners (v₁,v₂,v₃) G(v₁,v₂,v₃) = [v₃-v₁ v₂-v₃]⁻ᵀ [-1...
``` given x,y,z ∈ ℝ² f(a,b) = a⋅b g = f(x,y) + f(x,z) ``` should compile so that `g` is computed the same as: ``` given x,y,z ∈ ℝ² g...
``` given a,b,c ∈ ℝ² G = [b-a c-a]⁻ᵀ [-1 1 0 -1 0 1] ``` should compile the same as ``` given a ∈ ℝ² b ∈ ℝ² c...
should ``` w(1,2) where w : ℤ² → ℝ ``` compile the same as ``` w(1,2) where w : ℤ×ℤ → ℝ ``` ? Currently the former triggers a parse...
``` z = ∑_i x_i,* + y_i,* where x ∈ ℝ^(n×3) y ∈ ℝ^(n×3) ``` produces an error message: ``` Error on line 1 at column 20. Subscript has not...
```I❤️LA a_i = 2 where n ∈ ℤ a ∈ ℝ^n ``` I'm trying to create a function which takes `n` as input and outputs a vector of length n...
It is quite common (see, e.g., gallery entries [pmp_42](https://i-heart-la.github.io/Supplementary_webpages/gallery/pmp_42/index.html), [convex_optimization_276](https://i-heart-la.github.io/Supplementary_webpages/gallery/convex_optimization_276/index.html), and [optimal_sampling_16](https://i-heart-la.github.io/Supplementary_webpages/gallery/optimal_sampling_16/index.html)) to have variables in expressions that are "lists of lists" (adjacency lists or incidence lists) or lists/sequences of...
Crashes without error message / [feature request] treat subscripts as "mark" if no sequence present
Sometimes a numeric subscript (e.g., ₁ ) is used like a decoration rather than indicating an ordering in a sequence: ```I❤️LA given X₁ ∈ ℝ^(m×n) X₂ ∈ ℝ^(n×k) X₁X₂ ```...
``` c_i = ∑_j a_i,j (b_i,j - 1) where a ∈ ℝ^(n×3) b ∈ ℝ^(n×3) ``` generates code that uses `Eigen::MatrixXd` for `a` and `b`. A more strict type would...