Constraint to make sure a matrix inverse exists

In reply to dave_59:
can you please explain c_square and c_inverse constraints?