Property definitions

geometry $ IPoint :: dist2_with_3d
	private fun dist2_with_3d(other: IPoint3d[Numeric]): Numeric
	do return dist2_xy(other).add(other.z.mul(other.z))
lib/geometry/points_and_lines.nit:83,2--84,52

geometry $ IPoint3d :: dist2_with_3d
	redef fun dist2_with_3d(other)
	do
		var dz = other.z.sub(z)
		var s = dist2_xy(other).add(dz.mul(dz))
		return x.value_of(s)
	end
lib/geometry/points_and_lines.nit:139,2--144,4