Added polynomial discriminant over Z.