| Sun, 22 Dec 2024 15:30:34 -0500 |
Tuomo Valkonen |
More Instance parametrisation
dev
|
file |
diff |
annotate
|
| Sun, 22 Dec 2024 14:54:46 -0500 |
Tuomo Valkonen |
Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean.
dev
|
file |
diff |
annotate
|
| Tue, 31 Dec 2024 09:02:55 -0500 |
Tuomo Valkonen |
More convexity, normed spaces, etc.
dev
|
file |
diff |
annotate
|
| Tue, 31 Dec 2024 08:30:02 -0500 |
Tuomo Valkonen |
Significantly simplify Mapping / Apply through Instance
dev
|
file |
diff |
annotate
|
| Mon, 31 Jul 2023 13:35:06 +0300 |
Tuomo Valkonen |
typofix
dev
|
file |
diff |
annotate
|
| Tue, 25 Oct 2022 23:05:40 +0300 |
Tuomo Valkonen |
Added NormExponent trait for exponents of norms
unthreaded
|
file |
diff |
annotate
|
| Sat, 22 Oct 2022 14:40:28 +0300 |
Tuomo Valkonen |
Improve documentation
|
file |
diff |
annotate
|
| Sat, 22 Oct 2022 13:47:15 +0300 |
Tuomo Valkonen |
Initialise new clean repository
|
file |
diff |
annotate
|
