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
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
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
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. ATM I am not sure
if we want