:: deftheorem defines Polynom POLYEQ_2:def 1 :
for a, b, c, d, e, x being Complex holds Polynom (a,b,c,d,e,x) = ((((a * (x |^ 4)) + (b * (x |^ 3))) + (c * (x ^2))) + (d * x)) + e;