done with differentialpolynom