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 824, Thu Apr 14 15:54:24 2011 UTC revision 949, Fri Apr 22 19:20:24 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 [DONE]  Outer products [DONE]
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 up to code generation]  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  extend implementation of scaling to work on higher-order tensors (it currently  Matrix addition, subtraction, and scaling  [DONE]
just works on vectors)
24
25  Use ∇⊗ etc. syntax  Use ∇⊗ etc. syntax
26      syntax [DONE]      syntax [DONE]
# Line 44  Line 39
39
40  Infix "^" operator for pow() [DONE]  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)

extend norm (|exp|) to all tensor types
51
52  extend normalize to all tensor types  determinant ("det") for tensor[3,3]
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 68  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)[] Gmsq = ∇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 78  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 93  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 104  Line 136
136  other MEDIUM TERM ============  other MEDIUM TERM ============
137  ==============================  ==============================
138
139  want: warnings when D (and likely I) is declared as a  want: warnings when "D" (reserved for differentiation) is declared as
140  variable name (now get confusing error messages now)  a variable name (get confusing error messages now)
141
142  support for Python interop and GUI  support for Python interop and GUI
143
# Line 113  Line 145
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 141  Line 174
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 158  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.824 changed lines Added in v.949