commit 9577217796390876e45514f7bf9442c504c5fa9a
from: James Cook <falsifian@falsifian.org>
date: Mon Jan 17 23:09:36 2022 UTC

Redo the lighting.

commit - 2d24bf60e7f8889b738e3b3cc64d2c73dfabbf0c
commit + 9577217796390876e45514f7bf9442c504c5fa9a
blob - d227901838ac1d2caf527fe43853a1144eb8e1bf
blob + c9058d2493b0eff9e1ec1a893dec9ba61b2c4116
--- src/S3D/Scenes/House.idr
+++ src/S3D/Scenes/House.idr
@@ -55,17 +55,31 @@ import SolidGeometry.Polyhedron
 
 %default total
 
+roomBrightness : Double
+roomBrightness = 0.6
+
 lights : List LightSource
 lights =
-  [ MkLightSource { location = [0, 1.5, -1, 0]
+  [ -- Sunlight over the yard
+    MkLightSource { location = [0, 1, -1, 0]
                   , colour = [1.2, 1.2, 0.8]
                   }
-  , MkLightSource { location = [0, 1.5, 1, 0]
-                  , colour = [0.8, 0.8, 1.2]
+  , -- Over the entrance
+    MkLightSource { location = [0, 1, 0, 1]
+                  , colour = roomBrightness *^ [0.9, 1, 0.8]
                   }
-  , MkLightSource { location = [0, 1.5, 0, -1]
-                  , colour = [0.5, 0.3, 0.3]
+  , -- Over the kitchen: a sterile white light
+    MkLightSource { location = [-1, 1, 0, 0]
+                  , colour = roomBrightness *^ [1, 1, 1]
                   }
+  , -- Over the living room
+    MkLightSource { location = [1, 1, 0, 0]
+                  , colour = roomBrightness *^ [1, 0.8, 0.8]
+                  }
+    -- From the corner of the dining room
+  , MkLightSource { location = [0.9, 0.7, 0.9, -1]
+                  , colour = roomBrightness *^ [1, 0.9, 0.7]
+                  }
   ]
 
 entrance : List (numPlanes : Nat ** PhysicalPolyhedron numPlanes SimpleColour.Attributes True)