skeletal implementation of norm_L(p)