Hi Waldek,
VectorSpace in src/algebra/exposed.lsp should also be removed.
Besides, there are a few more in src/doc/htex and src/interp/ax.boot.tex
- Qian
On 2/16/20 11: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.
So, it seems that we should remove VectorSpace: it adds
almost nothing and is essentially unused. Any comments?
--
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/91285c4e-024b-e664-1c5a-8f2dc516c85f%40gmail.com.
