95, 108, 109, 110, 111, 124, 125, 126, 141, 142 };
int[] pixel2 = { 24, 19, 93, 18, 17, 92, 87, 16, 107, 89, 86, 85, 106,
105, 83, 84, 159, 104, 81, 158, 157, 155, 156 };
int inclusive = 1;
double radius = Math.PI / 8.0;
Vector3d v = pt.pix2vect_ring(nside, 93);
ArrayList pixlist;
pixlist = pt.query_disc(nside, v, radius, nest, inclusive);
int nlist = pixlist.size();