Boost logo

Boost :

From: Jeremy Siek (jsiek_at_[hidden])
Date: 2001-03-29 13:56:07

On Thu, 29 Mar 2001, Ullrich Koethe wrote:
koethe> Very nice. Here are a few remarks:
koethe> 1. All algebraic types must refine EqualityComparable.

I'm not sure that is necessary. It seems to me there are lots of
algorithms on numeric quantities that do not need equality comparable.

koethe> 2. Would it be useful to also introduce (multiplicative) Semigroup and
koethe> Group?

I stopped at Additive Abelian Group because that was what I thought we
would need to use for linear algerba algorithms. There's a whole host of
more algebra concepts, but I'd like to leave those for the people
interested in algebra (vs. linear algebra).

koethe> 3. in Field, you dropped the requirement
koethe> a * b is equivalent to zero(a) if and only if a == zero(a) or b ==
koethe> zero(a)

I thought this property could be deduced from the others. Am I wrong?

koethe> 4. In an R-Module, is Commutativity also required ?

It's already there. The type G must be an Additive Abelian Group, which
includes Commutativity.

koethe> 5. The Norm type in a Banach space should be a Field (? not sure) and
koethe> StrictWeaklyOrdered

That sounds right, I'll add that it.


 Jeremy Siek www:
 Ph.D. Candidate email: jsiek_at_[hidden]
 Univ. of Notre Dame work phone: (219) 631-3906

Boost list run by bdawes at, gregod at, cpdaniel at, john at