
Boost : 
From: Ullrich Koethe (koethe_at_[hidden])
Date: 20010329 12:01:43
Jeremy Siek wrote:
>
> I've updated the linear algebra concepts with semantics. There
> still a couple missing, but it is 90% there.
>
Very nice. Here are a few remarks:
1. All algebraic types must refine EqualityComparable.
2. Would it be useful to also introduce (multiplicative) Semigroup and
Group?
3. in Field, you dropped the requirement
a * b is equivalent to zero(a) if and only if a == zero(a) or b ==
zero(a)
4. In an RModule, is Commutativity also required ?
5. The Norm type in a Banach space should be a Field (? not sure) and
StrictWeaklyOrdered
Ulli
 ________________________________________________________________    Ullrich Koethe Universität Hamburg / University of Hamburg   FB Informatik / Dept. of Computer Science   AB Kognitive Systeme / Cognitive Systems Group     Phone: +49 (0)40 428832573 VogtKoellnStr. 30   Fax: +49 (0)40 428832572 D  22527 Hamburg   Email: u.koethe_at_[hidden] Germany   koethe_at_[hidden]   WWW: http://kogswww.informatik.unihamburg.de/~koethe/  ________________________________________________________________
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk