positive semidefinite quadratic form