On 28 Dec 2007, at 4:10 AM, Cristian Baboi wrote:
On Fri, 28 Dec 2007 12:01:51 +0200, Miguel Mitrofanov
<[EMAIL PROTECTED]> wrote:
It sounds like a limit. xn --> x for n --> :-)
Yeah, that's right.
If xn is monotone, then I only have to worry when it is not
bounded, right ?
How can I get that maximal value when I start from a non maximal
one ?
Not a problem. For example, "const 1" maps each value (even (_|_))
to the maximal value "1".
[1 .. ] and x=1:x are maximal ?
Can you give me some examples of non maximal ones ?
undefined, 1:undefined, 1:1:undefined, undefined:undefined, [1, 1,
undefined], etc.
jcc
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
