bilinear form matrix not nec. SDP