25 


26 
valuenumbering optimization [DONE, but needs more testing] 
valuenumbering optimization [DONE, but needs more testing] 
27 


28 

Allow ".ddro" file extensions in addition to ".diderot" 
29 


30 

Be able to output values of type tensor[2,2] and tensor[3,3] 
31 

(currently only scalars & vectors) 
32 


33 
[GLK:1] Add a clamp function, which takes three arguments; either 
[GLK:1] Add a clamp function, which takes three arguments; either 
34 
three scalars: 
three scalars: 
35 
clamp(lo, hi, x) = max(lo, min(hi, x)) 
clamp(lo, hi, x) = max(lo, min(hi, x)) 
180 
There is value in having these, even if the differentiation of them is 
There is value in having these, even if the differentiation of them is 
181 
not supported (hence the indication of "field#0" for these above) 
not supported (hence the indication of "field#0" for these above) 
182 


183 

Introduce region types (syntax region(d), where d is the dimension of the 
184 

region. One useful operator would be 
185 

dom : field#k(d)[s] > region(d) 
186 

Then the inside test could be written as 
187 

pos ∈ dom(F) 
188 

We could further extend this approach to allow geometric definitions of 
189 

regions. It might also be useful to do inside tests in world space, 
190 

instead of image space. 
191 


192 
co vs contra index distinction 
co vs contra index distinction 
193 


194 
Permit field composition: 
Permit field composition: 