let
norm v =
sqrt (sqnorm v)