Изменения
→Деление
<tex> divide(x,y) = \frac{x}{y} </tex>, если <tex> y > 0 </tex>, иначе <tex> divide(x,y) = 0 </tex>
divmax(0,y,0) = 0divmax(y,x+1,y) = h(y,x,divmax(x)), где <tex> h(y,x,z) = if (x+1 - divmax(x) == y) then x+1 else y
add(mul(eq(sub(I(x+1),z),P_{1,1}(y)),I(x)),
