## Glas :## Re: [glas] Skalar-Like concepts from GLAS and MTL |

**From:** Toon Knapen (*toon.knapen_at_[hidden]*)

**Date:** 2005-05-26 02:30:33

**Next message:**Toon Knapen: "[glas] pure algebraic concepts cfr additive"**Previous message:**Toon Knapen: "Re: [glas] Skalar-Like concepts from GLAS and MTL"**In reply to:**Toon Knapen: "Re: [glas] Skalar-Like concepts from GLAS and MTL"**Next in thread:**Peter Gottschling: "Re: [glas] Skalar-Like concepts from GLAS and MTL"**Reply:**Peter Gottschling: "Re: [glas] Skalar-Like concepts from GLAS and MTL"

Here I am again. I have a bit further experimented in the direction of

Peter's proposal and it seems to work out nice. I've been concentrating

on the pure algebraic concepts (up until Group) for the moment. I've

uploaded the updated concepts here:

http://glas.sourceforge.net/doc/index.html.

Let me comment on the main points of the changes:

1) Magma is not a refinement of Assignable (anymore). Instead probably

we need to add the requirement that the set is a refinment of Assigneable.

2) In the Magma I added the definition of the type of the 'operator'

saying that it is a BinaryFunctor.

3) inverse and identity are functors as well that depend on the type of

the Set as well as on the operation. Since the inverse and identity are

also dependent on the 'value_type', the inverse function is able to

return identity-matrices, scalars or whatever.

4) Note that identity is also a meta-function

5) I have made changes up to Group and also added two examples (which

can easily be compiled with boost-build) which show the use of

'identity' and 'inverse'.

I would like to change all higher-level concepts accordingly but first

I'm going to wait for some feedback to know if we're synced and going in

the right direction.

BTW, I mention Assigneable above but I'm also thinking about what we

should do with EqualityComparable. Would'nt it be good to introduce an

equality operation that takes a tolerance into account?

toon

**Next message:**Toon Knapen: "[glas] pure algebraic concepts cfr additive"**Previous message:**Toon Knapen: "Re: [glas] Skalar-Like concepts from GLAS and MTL"**In reply to:**Toon Knapen: "Re: [glas] Skalar-Like concepts from GLAS and MTL"**Next in thread:**Peter Gottschling: "Re: [glas] Skalar-Like concepts from GLAS and MTL"**Reply:**Peter Gottschling: "Re: [glas] Skalar-Like concepts from GLAS and MTL"