Ralf Hemmecke wrote:
>
> 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?
To be honest we should have:
VectorSpace R == Join(FreeModuleCategory(R), ...)
FreeModuleCategory(R) ==
if R has Field then VectorSpace R
Such cycles complicate conditions for no real gain.
> 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.
--
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 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.
