Gaussian curvature has no tangential-contact comparison principle (source code)

= Gaussian curvature has no tangential-contact comparison principle

The same contact does not order <Gaussian curvature>, because determinant is not monotone under addition of a positive-semidefinite matrix when the original Hessian is indefinite or negative definite. For example,
$$
f=-x^2-y^2,
\qquad
g=-\frac{x^2+y^2}{2}
$$
satisfy $g\geq f$ and are tangent at zero, but $K_g(0)=1<4=K_f(0)$.