Nonnegative polynomial
= Nonnegative polynomial
A real <polynomial> is globally nonnegative if its value is nonnegative at every point of its real domain. A <sum of squares polynomial> is always nonnegative, but the <Horn copositive matrix> gives a nonnegative quartic <polynomial> that is not a <sum of squares polynomial>.