A generator of polynomial expressions satisfying various constraints