Added the positive definiteness field to util