Sun, 22 Dec 2024 15:30:34 -0500 | Tuomo Valkonen | More Instance parametrisation | changeset | files |
Sun, 22 Dec 2024 14:54:46 -0500 | Tuomo Valkonen | Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. | changeset | files |
Sat, 21 Dec 2024 23:32:20 -0500 | Tuomo Valkonen | Move origin stuff to AXPY form Euclidean | changeset | files |