26 Sep
2007
26 Sep
'07
9:12 p.m.
On Wed, 2007-09-26 at 11:43 -0700, Dan Weston wrote:
It seems no one liked idea #2. I still think fix is the wrong name for this, maybe limit would be better.
It calculates least fixed points. `fix' is as good a name as any. `limit' is terrible; the argument to fix, a -> a, is neither a sequence nor diagram nor net type, and hence its values don't have limits... jcc PS Yes, I know fix a = sup_{i=0}^inf f^i(bot). That sequence is rather different than the input function...