norm(coord(5,12))
Calculemos: norm(coord(5 ; 12))
ⅰ norm(coord(5 ; 12)) = 52 + 122
52 + 122
ⓘ Las potencias se calculan antes que las multiplicaciones, sumas y restas. Una potencia de exponente entero estrictamente positivo es un producto repetido: 52 = 5×5 = 25, 122 = 12×12 = 144
25 + 144
ⓘ Primero calculamos lo que está entre paréntesis: 25 + 144 = 169
169
ⓘ La raíz cuadrada de un número real no negativo es el número no negativo cuyo cuadrado es ese número: 169 = 13 ya que 132 = 169
▶Resultado:   13