algebraic factoraization