Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/lamont/TODO
ViewVC logotype

Diff of /branches/lamont/TODO

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1167, Tue May 10 13:32:53 2011 UTC revision 1195, Thu May 12 03:07:35 2011 UTC
# Line 180  Line 180 
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:

Legend:
Removed from v.1167  
changed lines
  Added in v.1195

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0