Assertion: curvature's sign | /r/HasProperty | different
Facets:
Source sentences:
text: If the principal curvatures have different signs: κ 1 κ 2 < 0 , then the Gaussian curvature is negative and the surface is said to have a hyperbolic or saddle point.
text: Since $ K < 0 $, the principal curvatures have different signs, for which reason the principal sections are convex in opposite directions; in Fig.1bthe section $ 0 2 $ is convex in the direction of the normal $ n $, while the other is convex in the opposite direction, which fits in with the saddle-like character of the surface.