Add check for whether P(z) is bijective or not

Add check for whether P(z) is bijective or not #460