|
|
Boost : |
From: Ullrich Koethe (koethe_at_[hidden])
Date: 2001-03-29 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 R-Module, 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 42883-2573 Vogt-Koelln-Str. 30 | | Fax: +49 (0)40 42883-2572 D - 22527 Hamburg | | Email: u.koethe_at_[hidden] Germany | | koethe_at_[hidden] | | WWW: http://kogs-www.informatik.uni-hamburg.de/~koethe/ | |________________________________________________________________|
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk