Re: [glas] vector space, banach space and hilbert space concepts
From: Kresimir Fresl (fresl_at_[hidden])
Date: 2005-03-24 13:12:13
> Attached is a tar file with a proposal for vector space, banach space
> and hilbert space concepts.
> Please forward me your comments. I am sure there are still errors.
Just a short note. More probably in few days.
IMHO there is a typo in `MultiplicativeGroup concept':
``An AdditiveGroup (denoted as (G,*)) is a Group with the multiplication
(*) as operator''
``An MultiplicativeGroup (denoted as (G,*)) is a Group with the
multiplication (*) as operator''