Assertion: line | /r/CapableOf | provide seminorm
Facets:
value: on the distance between p i
type: LOCATION
Source sentences:
text: {\displaystyle {\hat {n}}_{i}{\hat {n}}_{i}^{\top }} is simply the (symmetric) matrix with all eigenvalues unity except for a zero eigenvalue in the direction along the line providing a seminorm on the distance between p i {\displaystyle p_{i}} and another point giving the distance to the line.