add: some missing tests to Short/ok_s.lst
chg: option(warn)
fix: allow (const) denom. in minpoly