def fixed_point()

in lib/misc.py [0:0]


def fixed_point(f, x, eq=None):
    if eq is None:
        eq = lambda a, b: a == b
    while True:
        new_x = f(x)
        if eq(x, new_x):
            return x
        else:
            x = new_x