finish adding class of polynomial constraints for concise codes