I would like to know how to find the loop invariant, the loop exit condition, the loop post-condition in Python functions. Here is an example and the answer:

Example: For the following Python functions, identify the loop invariant, the loop exit condition, the loop post-condition, show that the function produces the correct output.

Answer:

def quotient_and_remainder (x,y): Input : positive integers x, y Output: x//y, x%y q=0 r=x while y