vlist.add((Object) v);
v = pt.pix2vect_ring(nside, 86);
vlist.add((Object) v);
ArrayList pixlist;
pixlist = pt.query_polygon(nside, vlist, nest, inclusive);
// System.out.println(" List size="+pixlist.size());
int nlist = pixlist.size();
// System.out.println(" Pixel list:");
for (int i = 0; i < nlist; i++) {
ipix = ((Long) pixlist.get(i)).longValue();