add coef-nonzero-checking enumerators