Text this: Positive Semi-Definite and Sum of Squares Biquadratic Polynomials