I wrote:
>
> 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.
I should write: currently inheritance graph for categories have
to be a tree. So the code above, which forms cycle, can not work.
While in this specific case the cycle can be given quite resonable
meaning in general allowing cycles would lead to tricky problems
(both conceptual and at implementation level). So I see no
good reason to support such code in compiler.
--
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.
