Definition of factoring trinomials