extended posix regular expressions for polynomials over semirings