On 03/23/2018 05:21 PM, Waldek Hebisch wrote: > There is a problem in current algebra that FreeModule over field is > not a VectorSpace. Looking at resolution of this the simplest way > seem to be deletion of VectorSpace. Namely, VectorSpace adds one > signature that is 'dimension' that makes sense also for FreeModule.
I'm not sure I understand what you want to say by this. Why exactly do you see a problem with if R has Field then VectorSpace R added to FreeModuleCategory? Note that dimension does not return an Integer, but a CardinalNumber. http://fricas.github.io/api/VectorSpace#l-vector-space-dimension On the other hand... the implementation of VectorSpace is soo small that deletion of it probably doesn't hurt very much. However, we have smaller categories like CommutativeRing, and VectorSpace *is* information that would be lost otherwise. I'm somewhat in favour of keeping VectorSpace. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
