:: deftheorem Def4 defines QuadraticForm MATRPROB:def 4 :
for x, y being FinSequence of REAL
for M being Matrix of REAL st len x = len M & len y = width M holds
for b₄ being Matrix of REAL holds
( b₄ = QuadraticForm (x,M,y) iff ( len b₄ = len x & width b₄ = len y & ( for i, j being Nat st [i,j] in Indices M holds
b₄ * (i,j) = ((x . i) * (M * (i,j))) * (y . j) ) ) );