<br><br><div><span class="gmail_quote">On 3/19/07, <b class="gmail_sendername">Nicolas Frisby</b> <<a href="mailto:nicolas.frisby@gmail.com">nicolas.frisby@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Nope, but I believe the two are equipotent. This usage of "believe" is<br>one of those "I think I remember reading it somewhere" usages.<br><br>On 3/19/07, Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">
lemming@henning-thielemann.de</a>> wrote:<br>><br>> On Sat, 17 Mar 2007, Nicolas Frisby wrote:<br>><br>> > Bekic's lemma [1], allows us to transform nested fixed points into a<br>> > single fixed point, such as:
<br>> ><br>> > fix (\x -> fix (\y -> f (x, y))) = fix f where f :: (a, a) -> a<br>><br>> The 'fix' on the right hand side is not the standard one (e.g.<br>> Control.Monad.Fix), is it?
</blockquote><div><br>Yes, it is the standard "fix". The Bekic lemma actually reads:<br>
<br>
fix (\x -> fix (\y -> f (x, y))) = fix (\x -> f (x, x))<br>
<br>
which should explain the confusion here.<br>
<br>
-Levent. <br></div></div><br>