> More to the point, AFAICS 'dimension' requies extra structure > and we can not implement it for arbitrary vector space. > That is probably reason why VectorSpace had so little use: > you can implement 'dimension' only with extra structure, > and in such cases you have so much information that > 'dimension' adds essentialy nothing.
As I said before, I don't insist on VectorSpace. It's just that it should appear at least in the documentation and point people to Module(R) and explain why FriCAS does not have vector space. In fact, a bit related is also the domain Vector. I find it's name totally misleading. http://fricas.github.io/api/Vector Vector(R) does not even require its coefficient domain to be of type Field. Furthermore, it actually implements the union of R^n for all natural numbers n. I have no idea for a better name, but if I have two vectors and are not always able to add them together (because they have different lengths) then that feels strange. Yes, actually Matrix is similar, but strangely enough for that domain, I'm not so irritated. Just my 2 cents. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/01b05a43-3592-dcdd-b626-118ee5878d9e%40hemmecke.org.
