2024-07-10 00:15:31 I now have a fairly basic library for vectors over R³, and a minimal (and probably quite primitive) test suite for it.