User blog comment:Sait2000/Base-k Arrow Notation/@comment-223.255.230.51-20141219131441/@comment-1605058-20141219133002

This is a program in programming language Python. This work like a well-defined procedure which tells you, step by step, what to do. So certainly it's unambiguous. Another issue is if it's well-defined, because author hasn't provided any proof that this program ever terminates.

OKAY, I think we all understand that you claim that FOOT function is ambiguous. Could you, please, point out a single argument why you think FOOT function is ambiguous?