2. b :
3. f : {a..b
}
4. z : {a..b
}
5. 0<f(z)
6. X : {a..b
}
7. X = reduce_factorization(f; z)
8. x : {a..b
}
f(x) = trivial_factorization(z)(x)+reduce_factorization(f; z)(x)
}
}
}
}
f(x) = trivial_factorization(z)(x)+reduce_factorization(f; z)(x)| By: |
|
| 1 |
f(x) = if x= z 1 else 0 fi+if x=z f(x)-1 else f(x) fi | 1 step |
About:
 |  |  |  |  |  |  |  |  |