extract values not equal to 0 from numpy array `a`,a[a != 0]