403
правки
Изменения
→Списки
(\operatorname{eliminateMultiplier}\ (\operatorname{snd}\ list)\ (\operatorname{ithPrime}\ (\operatorname{pred}\ (\operatorname{fst}\ list))))</tex>
<tex>\operatorname{eliminateMultiplier'} = </tex><tex> \lambda f \to \lambda n \to \lambda m \to \operatorname{if}\ (\operatorname{isZero}\ (\operatorname{mod}\ n\ m\))\ (f\ (\operatorname{div}\ n\ m)\ m)\ n</tex>
<tex>\operatorname{eliminateMultiplier} = \operatorname{fix}\ \operatorname{eliminateMultiplier'}</tex>
<tex>\operatorname{getExponent'} = </tex><tex> \lambda f \to \lambda n \to \lambda m \to \operatorname{if}\ (\operatorname{isZero}\ (\operatorname{mod}\ n\ m\))\ (\operatorname{succ}\ (f\ (\operatorname{div}\ n\ m)\ m))\ \bar 0</tex>
<tex>\operatorname{getExponent} = \operatorname{fix}\ \operatorname{getExponent'}</tex>
