Re: [petsc-users] Index set with zero size