examples/python/isqrt.py


print("racine carrée entière")

n = int(input("entrez n : "))
#@ assume n >= 0

r = 0
s = 1
while s <= n:
    #@ invariant 0 <= r
    #@ invariant r * r <= n
    #@ invariant s == (r+1) * (r+1)
    #@ variant   n - s
    r += 1
    s += 2 * r + 1

print(r)
#@ assert r*r <= n < (r+1)*(r+1)
python: new examples 2017-02-21 08:27:14 +01:00
			`print("racine carrée entière")`

			`n = int(input("entrez n : "))`
			`#@ assume n >= 0`

			`r = 0`
			`s = 1`
			`while s <= n:`
			`#@ invariant 0 <= r`
			`#@ invariant r * r <= n`
			`#@ invariant s == (r+1) * (r+1)`
python: functions and predicates 2017-03-17 17:04:23 +01:00			`#@ variant n - s`
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			`r += 1`
			`s += 2 * r + 1`
python: new examples 2017-02-21 08:27:14 +01:00
			`print(r)`
			`#@ assert rr <= n < (r+1)(r+1)`