diff Notes.md @ 694:6ab473e0ea80 refactor/operator_naming

Merging in default
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Sat, 13 Feb 2021 16:07:46 +0100
parents 841ca12f3359
children 3cd582257072 05d8ea88c690
line wrap: on
line diff
--- a/Notes.md	Fri Feb 12 16:16:45 2021 +0100
+++ b/Notes.md	Sat Feb 13 16:07:46 2021 +0100
@@ -298,3 +298,16 @@
 component(gf,:,2) # Andra kolumnen av en matris
 @ourview gf[:,:][2]
 ```
+
+## Grids embedded in higher dimensions
+
+For grids generated by asking for boundary grids for a regular grid, it would
+make sense if these grids knew they were embedded in a higher dimension. They
+would return coordinates in the full room. This would make sense when
+drawing points for example, or when evaluating functions on the boundary.
+
+Implementation of this is an issue that requires some thought. Adding an extra
+"Embedded" type for each grid would make it easy to understand each type but
+contribute to "type bloat". On the other hand adapting existing types to
+handle embeddedness would complicate the now very simple grid types. Are there
+other ways of doing the implentation?