:: deftheorem defines Polynom POLYEQ_3:def 4 :
for a, b, c, d, z being Complex holds Polynom (a,b,c,d,z) = (((a * (z ^3)) + (b * (z ^2))) + (c * z)) + d;