| 2024-08-27 04:24 | Rename to symgeoalg | Robert Russell | 2 | +3 | -3 |
| 2024-08-27 04:22 | Add README and LICENSE | Robert Russell | 2 | +22 | -0 |
| 2024-07-27 22:45 | Reorganize additive structures | Robert Russell | 1 | +31 | -24 |
| 2024-07-27 22:33 | Replace Field and VectorSpace with Ring and Module | Robert Russell | 1 | +56 | -61 |
| 2024-07-27 22:16 | Add Ring and Rat instance | Robert Russell | 1 | +11 | -4 |
| 2024-07-27 22:13 | Separate MulCommX from MulX | Robert Russell | 1 | +52 | -26 |
| 2024-07-27 21:06 | Fix GeometricAlgebra mul and toString | Robert Russell | 1 | +52 | -17 |
| 2024-07-27 07:41 | Organize and simplify geometric algebra mul | Robert Russell | 1 | +63 | -105 |
| 2024-07-27 06:52 | Organize and save | Robert Russell | 1 | +283 | -127 |
| 2024-07-26 06:13 | Move stuff around; add cool repeatBasis function | Robert Russell | 1 | +80 | -31 |
| 2024-07-26 02:05 | Rework bases and quadratic forms | Robert Russell | 1 | +50 | -21 |
| 2024-07-26 00:40 | Add Coordinates and FiniteBasis, and remove old BitVec stuff | Robert Russell | 1 | +19 | -29 |
| 2024-07-25 06:06 | Add geometric algebras with finite bases | Robert Russell | 1 | +117 | -8 |
| 2024-07-24 18:38 | Switch to simpler way of creating NSpace vectors | Robert Russell | 1 | +7 | -18 |
| 2024-07-24 05:11 | Add cool variadic vec builder function | Robert Russell | 1 | +16 | -5 |
| 2024-07-24 03:57 | Model vector spaces | Robert Russell | 3 | +95 | -2 |
| 2024-07-23 06:56 | Delete junk from lake init | Robert Russell | 5 | +1 | -15 |
| 2024-07-23 06:51 | Initial commit | Lean 4 VS Code Extension | 8 | +31 | -0 |
