shortened positive_discriminant function