הצגת המקור של הדף "פייתון/פייתון גרסה 3/שמורה"

==שמורה ==
שמורה או אִינְווָריִאָנְט (loop invariant) הוא תנאי שבודק את נכונות אלגוריתם או במילים אחרות ביטוי שנכון לכל חזרה של הלולאה:
<source lang="python">
def multiply(a, b):
    x = a
    y = b
    p = 0
  
    while x > 0 :
        p = p + y
        x = x - 1
      
    return p

</source>

דוגמה לשמורה : <math>(x\cdot y)+p=a\cdot b</math>

[[קטגוריה:פייתון גרסה 3]]