|
|
|
|
|
|
by galimaufry
1910 days ago
|
|
|
I was just thinking about this. Seems like it could also be great if the type system could make a distinction between vectors and dual vectors, alleviating "you got the wrong axis" errors. But maybe for something like that you really need vector space objects like in Sage. |
|
|