类在多项式环上展平多项式环