For square matrices, Sage has the methods .is_singular() and .is_invertible(). By Theorem NI we know these two functions to be logical opposites. One way to express this is that these two methods will always return different values. Here we demonstrate with a nonsingular matrix and a singular matrix. The comparison != is “not equal.”
We could test other properties of the matrix inverse, such as Theorem SS.