I completely agree with @mohamed82008 in this topic. IMO we have two options to resolve the conflict.
-
We restrict the domain of the function
isposdefto symmetric real - and Hermitian matrices, that mean the method called for general real or complex matrices should throwMethodError,DomainErrororArgumentError. -
We extend the domain of
isposdefto general matrices in the way Mathematica is doing it. That means, in the real and complex case we have to checkA + A'for positive definiteness in the restricted sense.
I am in favour of option 2.