SCM Repository
Diff of /branches/staging/TODO
Parent Directory
| 
Revision Log
| 
Patch
| revision 1194, Wed May 11 18:49:43 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: |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
