make "factor" test that it's a polynomial ring without inverses