examples/python/pgcd.py


def pgcd(a, b):
    #@ requires a > 0 and b > 0
    while a != b:
        #@ invariant a > 0 and b > 0
        #@ variant a + b
        if a < b:
            b -= a
        else:
            a -= b
    return a
another micro-Python example 2021-01-28 13:43:59 +01:00
			`def pgcd(a, b):`
			`#@ requires a > 0 and b > 0`
			`while a != b:`
			`#@ invariant a > 0 and b > 0`
			`#@ variant a + b`
			`if a < b:`
Python: Added examples - New examples using the new syntax (+=, ...) - New examples using the new methods (.pop(), .append(), ...) - Update old examples with assignement operators (+=, ...) 2021-06-23 17:45:21 +02:00			`b -= a`
another micro-Python example 2021-01-28 13:43:59 +01:00			`else:`
Python: Added examples - New examples using the new syntax (+=, ...) - New examples using the new methods (.pop(), .append(), ...) - Update old examples with assignement operators (+=, ...) 2021-06-23 17:45:21 +02:00			`a -= b`
another micro-Python example 2021-01-28 13:43:59 +01:00			`return a`