On 2/16/20 4:40 PM, Waldek Hebisch wrote: > Concering our category structure VectorSpace mathematicaly is > just a Module over a Field. In code VectorSpace adds two > > extra signatures, but they seem to be inessential. Now > > I have tried what happens when we remove VectorSpace > > and it can be done with minimal changes, basicaly only > > ExtensionField depends on added signatures and we can > > add them in ExtensionField. >
There other appearances here... https://github.com/fricas/fricas/blob/master/src/doc/htex/ug13.htex#L703 https://github.com/fricas/fricas/blob/master/src/doc/htex/CARD.htex#L38 > So, it seems that we should remove VectorSpace: it adds > > almost nothing and is essentially unused. Any comments? My feeling actually is that we should keep it, since the concept of vector space is so much used in mathematics. However, I don't care so much. The "/" signature is really inessential, but I think "dimension" is somewhat more important. I haven't come across such a situation, but it might be useful to ask whether a given domain is a vector space, i.e., "if V has VectorSpace(X)". If you remove VectorSpace, you should conditionally export dimension: % -> CardinalNumber in Module(R). But maybe that's too early for CardinalNumber to be seen during the bootstrapping process. 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/8c870e0d-0da0-250b-e280-614e4225b9a9%40hemmecke.org.
