Изменения
→Операции сравнения
==== Операции сравнения ====
<tex> eq(x,y) = 0 1 </tex> если <tex> x = y </tex>, иначе <tex> eq(x,y) = 1 0 </tex>
<tex> le(x,y) = 0 1 </tex> если <tex> x \le y </tex>, иначе <tex> lq(x,y) = 1 0 </tex>
Сначала выразим <tex> eq_{0}(x) = eq(x,0) </tex>
<tex> eq_0(0) = I(\textbf 0 ) </tex>
<tex> eq_0(y+1) = h(y,eq(y)), где h(y,eq(y)) = I(P_{3,1}(\textbf,0^2(x,y)) </tex>
==== Деление ====
