Re: Number/Algebraic concepts (was RE: [boost] RE: rational.hpp)

From: Jeremy Siek (jsiek_at_[hidden])
Date: 2001-01-13 15:56:43

On Fri, 12 Jan 2001, Doug Gregor wrote:
gregod> 
gregod> Operators are all mapped to classes, and identity elements
gregod> will be mapped to integers. To state that integers form an
gregod> Abelian group over addition, we would have:
gregod> AbelianGroup<int, plus, 0, negate, minus>. There is a
gregod> mapping that allows us to take the domain (int) and the
gregod> IdentityID (0) and get the actual value (0) at run-time
gregod> when it is needed.

This is what the "literals" tables are for? Could you give an example of
how this works.

Thanks!
Jeremy

----------------------------------------------------------------------
 Jeremy Siek                        www: http://www.lsc.nd.edu/~jsiek/
 Ph.D. Candidate                  email: jsiek_at_[hidden]
 Univ. of Notre Dame         work phone: [phone]
----------------------------------------------------------------------