from sage.all import *
from mjo.cone.symmetric_psd import (factor_psd,
- is_symmetric_psd,
random_symmetric_psd)
from mjo.basis_repr import basis_repr
# It's nonnegative, so all we need to do is check that it's
# symmetric positive-semidefinite.
- return is_symmetric_psd(A)
+ return A.is_positive_semidefinite()
# Short circuit, we know the zero matrix is extreme.
return True
- if not is_symmetric_psd(A):
+ if not A.is_positive_semidefinite():
return False
# Step 1.5, appeal to Theorem 3.1 in reference #1 to short