e/Ridge (differential geometry)

Information
has gloss	eng: For a smooth surface in three dimensions a ridge point occurs when a line of curvature has a local maximum or minimum of principal curvature. The set of ridge points form curves on the surface called ridges.
lexicalization	eng: ridge
instance of	e/Surface