[impl] factorization
[tmp] stashed.
Merge branch 'factors'