A function is presented to test equality between lists. In any case the function requires at most one single traversal of the lists and behaves as follows: -- if there are no cycles, it works as standardEQU AL functions; -- if there are cycles, it does not give information about equality, but it can detect cycles, i.e. it signals which lists are cyclic.