313
правок
Изменения
→Деление
<tex> \mathrm{divmax}(0,y) =\textbf 0^{1} </tex>
<tex> \mathrm{divmax}(x+1,y) = \mathrm{hif}(x,y,\mathrm{divmaxeq}(x,y)) </tex>, где <tex> \mathrm{hsub}(x,y,z) = \mathrm{ifN}(x),\mathrm{eq}(\mathrm{subdivmax}(x,y)),y),\mathrm{N}(x),z),y),\mathrm{Ndivmax}(x,y),z) </tex>,
или не формально если <tex> x+1 - y = z </tex> то <tex> \mathrm{h}(x,y,z) = x+1 </tex>, иначе <tex> \mathrm{h}(x,y,z) = z </tex>
