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.
So, it seems that we should remove VectorSpace: it adds
almost nothing and is essentially unused. Any comments?
--
Waldek Hebisch
--
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/20200216154042.GD25387%40math.uni.wroc.pl.
