det(ATA)