:: deftheorem defines qfconic PASCAL:def 1 :
for a, b, c, d, e, f being Real
for u being Element of (TOP-REAL 3) holds qfconic (a,b,c,d,e,f,u) = ((((((a * (u . 1)) * (u . 1)) + ((b * (u . 2)) * (u . 2))) + ((c * (u . 3)) * (u . 3))) + ((d * (u . 1)) * (u . 2))) + ((e * (u . 1)) * (u . 3))) + ((f * (u . 2)) * (u . 3));