Home My Page Projects Code Snippets Project Openings diderot

# SCM Repository

[diderot] Diff of /branches/pure-cfg/TODO
 [diderot] / branches / pure-cfg / TODO

# Diff of /branches/pure-cfg/TODO

revision 813, Tue Apr 12 18:02:15 2011 UTC revision 948, Fri Apr 22 19:19:03 2011 UTC
# Line 2  Line 2
2  SHORT TERM =============  (for curvature-based VR)  SHORT TERM =============  (for curvature-based VR)
3  ========================  ========================
4
For RGB color output of 2D transfer function (indexed by
kappa1,kappa2), or for a 1D transfer function, will need
something akin to convolution on vector images

5  IL support for higher-order tensor values (matrices, etc).  IL support for higher-order tensor values (matrices, etc).
6      tensor construction [DONE]      tensor construction [DONE]
7      tensor indexing [DONE]      tensor indexing [DONE]
8      tensor slicing      tensor slicing
9      verify that hessians work correctly      verify that hessians work correctly [DONE]
10
11  Outer products  Outer products [DONE]
syntax [DONE]
typechecking
IL and codegen
12
13  Add M dot v, v dot M, and M dot N [DONE]  Add M dot v, v dot M, and M dot N [DONE]
14
15  Identity matrix [DONE up to code generation]  Identity matrix [DONE]
16
17    Zero tensor [DONE]
18
19  trace [DONE]  trace [DONE]
20
21  extend norm (|exp|) to tensor[3,3]  extend norm (|exp|) to tensor[3,3] [DONE]
22
23    Matrix addition, subtraction, and scaling  [DONE]
24
25  Use ∇⊗ etc. syntax  Use ∇⊗ etc. syntax
26      syntax [DONE]      syntax [DONE]
# Line 40  Line 37
37
38  lerp on scalars and vectors [DONE]  lerp on scalars and vectors [DONE]
39
40    Infix "^" operator for pow() [DONE]
41
42    Code generation support for 1D image data, such as RGBA transfer functions [DONE]
43
44  ==============================  ==============================
45  other SHORT TERM =============  (including needed for LIC)  other SHORT TERM =============  (including needed for LIC)
46  ==============================  ==============================
47
48  determinant ("det") for tensor[3,3]  test/uninit.diderot:
49    documents need for better compiler error messages when output variables
50  Decide if we want to allow redefinitions of variables  are not initialized; the current messages are very cryptic
(as in vr-lite-cam.diderot)
51
52  extend norm (|exp|) to all tensor types  determinant ("det") for tensor[3,3]

extend normalize to all tensor types
53
54  vector fields: convolution on vector images  extend norm (|exp|) to all tensor types [DONE for vectors and matrices]
55
56  expand trace in mid to low translation  expand trace in mid to low translation
57
# Line 64  Line 62
62      rgba = real{4}      rgba = real{4}
63
64  ==============================  ==============================
65  MEDIUM TERM ================== (needed for streamlines & tractography)  MEDIUM TERM ================== (including needed for streamlines & tractography)
66  ==============================  ==============================
67
68    Want: allow X *= Y, X /= Y, X += Y, X -= Y to mean what they do in C,
69    provided that X*Y, X/Y, X+Y, X-Y are already supported.
70    Nearly every Diderot program would be simplified by this.
71
72    Want: ability to apply "normalize" to a field itself, e.g.
73      field#1(2)[2] V = normalize(Vimg ⊛ ctmr);
74    so that V(x) = normalize((Vimg ⊛ ctmr)(x)).
75    (For now, it would be okay for the differentability of V to be 0;
76    later we can teach Diderot the quotient rule of derivatives.)
77    Having this would simplify expression of standard LIC method, and
78    would also help express other vector field expressions that arise
79    in vector field feature exraction
80    Related to this and possibly simpler:
82      field#1(2)[] Vlen = |Vimg ⊛ ctmr|;
83    to get a scalar field of vector length, or
84      field#1(2)[] F = Fimg ⊛ ctmr;
85      field#1(2)[] Gmag = |∇F|;
86    to get a scalar field of gradient magnitude, or
87      field#1(2)[] F = Fimg ⊛ ctmr;
88      field#1(2)[] Gmag = ∇F•∇F;
89    to get a scalar field of squared gradient magnitude
90    (which is simpler to differentiate)
91
92    ability to declare a field in such a way so that probe
93    positions are *always* clamped to the support of "inside";
94    there are many cases where this is the sensible behavior
95
96  ability to emit/track/record variables into dynamically re-sized  ability to emit/track/record variables into dynamically re-sized
97  runtime buffer  runtime buffer
98
# Line 74  Line 100
100
101  tensor fields: convolution on general tensor images  tensor fields: convolution on general tensor images
102
103    Use of Teem's "hest" command-line parser for getting
104    any input variables that are not defined in the source file
105
106    Save Diderot output to nrrd, instead of "mip.txt"
107      For grid of strands, save to similarly-shaped array
108      For list of strands, save to long 1-D (or 2-D for non-scalar output) list
109      For ragged things (like tractography output), will need to save both
110        complete list of values, as well as list of start indices and lengths
111        to index into complete list
112
113  ==============================  ==============================
114  other MEDIUM TERM ============ (needed for particles)  other MEDIUM TERM ============ (needed for particles)
115  ==============================  ==============================
# Line 89  Line 125
125
126  proper handling of stabilize method  proper handling of stabilize method
127
128  Add support for code like  test/vr-kcomp2.diderot: Add support for code like
129
130          (F1 if x else F2)@pos          (F1 if x else F2)@pos
131
# Line 100  Line 136
136  other MEDIUM TERM ============  other MEDIUM TERM ============
137  ==============================  ==============================
138
139  support fog Python interop and GUI  want: warnings when "D" (reserved for differentiation) is declared as
140    a variable name (get confusing error messages now)
141
142    support for Python interop and GUI
143
144  ==============================  ==============================
145  LONG TERM ====================  LONG TERM ====================
146  ==============================  ==============================
147
148  Better handling of variables that determines the scope of a variable based on its actual use,  Better handling of variables that determines the scope of a variable
149  instead of where the user defined it.  So, for example, we should lift strand-invariant variables  based on its actual use, instead of where the user defined it.  So,
150  to global scope.  Also prune out useless variables, which should include field variables after the  for example, we should lift strand-invariant variables to global
151  translation to mid-il.  scope.  Also prune out useless variables, which should include field
152    variables after the translation to mid-il.
153
154  co- vs contra- index distinction  co- vs contra- index distinction
155
# Line 128  Line 168
168
169  "tensor comprehension" (like list comprehension)  "tensor comprehension" (like list comprehension)
170
171    Python/ctypes interface to run-timez
172
173  ======================  ======================
174  BUGS =================  BUGS =================
175  ======================  ======================
176
177    test/fields.diderot:
178    documents various bugs/questions associated with field expressions
179
180  test/mip-cam.diderot:  test/mip-cam.diderot:
181      // generated C code looks like "(float)p_ui_0--0.5e0f"      // generated C code looks like "(float)p_ui_0--0.5e0f"
182      //real rayU = 2.0*camUmax*(real(ui) - -0.5)/real(imgResU) - camUmax;      //real rayU = 2.0*camUmax*(real(ui) - -0.5)/real(imgResU) - camUmax;
# Line 149  Line 194
194  //  uncaught exception Size [size]  //  uncaught exception Size [size]
195  //    raised at c-target/c-target.sml:47.15-47.19  //    raised at c-target/c-target.sml:47.15-47.19
196  //field#4(3)[] F = img ⊛ bspln5;  //field#4(3)[] F = img ⊛ bspln5;

Legend:
 Removed from v.813 changed lines Added in v.948