let norm v =
  sqrt (sqnorm v)