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...