| 3 months ago |
Tuomo Valkonen |
More Instance parametrisation
dev
|
file |
diff |
annotate
|
| 3 months ago |
Tuomo Valkonen |
Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean.
dev
|
file |
diff |
annotate
|
| 3 months ago |
Tuomo Valkonen |
Move origin stuff to AXPY form Euclidean
dev
|
file |
diff |
annotate
|
| 3 months ago |
Tuomo Valkonen |
More convexity, normed spaces, etc.
dev
|
file |
diff |
annotate
|
| 3 months ago |
Tuomo Valkonen |
Significantly simplify Mapping / Apply through Instance
dev
|
file |
diff |
annotate
|
| 3 months ago |
Tuomo Valkonen |
Add direct products (Pair, RowOp, ColOp, DiagOp)
dev
|
file |
diff |
annotate
|
