general nCoeff_is_field, nCoeff_is_domain
doc: libpolys and subdirs