Thank you. This is what I understand so far: - the maximal values is what is usually called data - the non maximal are what is usually called code - in functional languages one can be given non maximal values (code) as input Is that right ? On Fri, 28 Dec 2007 12:01:51 +0200, Miguel Mitrofanov <miguelimo38@yandex.ru> wrote:
It sounds like a limit. xn --> x for n --> :-)
Yeah, that's 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 ?
Yes.
________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com