factorist factor analysis factoring cofactor factorisation subfactorial factorization factorialization integer factorization factorizer