| 6 months ago |
Tuomo Valkonen |
Reduce preadjointing constraints
dev
|
changeset |
files
|
| 6 months ago |
Tuomo Valkonen |
More Instance parametrisation
dev
|
changeset |
files
|
| 6 months ago |
Tuomo Valkonen |
Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean.
dev
|
changeset |
files
|
| 6 months ago |
Tuomo Valkonen |
Move origin stuff to AXPY form Euclidean
dev
|
changeset |
files
|
| 6 months ago |
Tuomo Valkonen |
Compositions
dev
|
changeset |
files
|
| 6 months ago |
Tuomo Valkonen |
More convexity, normed spaces, etc.
dev
|
changeset |
files
|
| Loading... |
