Small change to method isReducible. Added input error check to main method.
Enabled support for ArrayPolynomials in PolynomialUtil. That implementation seems slow though, so it is not enabled in the main method.
Removed unnecessary imports.