2. b :
3. f : {a..b
}
4. z : {a..b
}
5. 0<f(z)
6. X : {a..b
}
7. X = reduce_factorization(f; z)
f
=
(
i.trivial_factorization(z)(i)+reduce_factorization(f; z)(i))
{a..b}
}
}
}
f
=
(i.trivial_factorization(z)(i)+reduce_factorization(f; z)(i))
{a..b}| By: |
|
| 1 |
}
f(x) = trivial_factorization(z)(x)+reduce_factorization(f; z)(x) | 2 steps |
About:
 |  |  |  |  |  |  |  |