[Om3] trouble with container markup example

[Paul Libbrecht]

I think that the fact that Robert and myself didn't find it proves  
that a symbol having the semantic of  
set_of_expression_results_suchthat is wished.

Since we have a "defining FMP" anyone can do so anytime...
But consider here my suggestion (once we find a right name!) for  
inclusion into set1.

paul

Le 12-févr.-09 à 10:14, Professor James Davenport a écrit :

>> with another pattern where the f is not a function and the map
>> operator is visible.
> To take Robert's example, which I suggested was
> map(lambda x.interval(0,x),R),
> I don't think it is far-fetched to map THIS to
> \{interval(0,x), x \in R\}
>
> Of course, where there is not an explicit lambda-expression to
> deconstruct, life is harder, but I am not sure what else than a 'map'
> could be rendered. It would be a truly intelligent renderer that
> transformed map(sin,R) into [-1,1].

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20090212/73da9a77/attachment.bin