Symmetric Positive Definite Stiffness Matrix Verificator
SPDverif(K0, cDOFasc, K)
Complete stiffness matrix of the structure [DOFn*nn x DOFn*nn]
Active stiffness matrix of the structure (reduced to active DOF) [DOFn*nn-cDOF x DOFn*nn-cDOF]
Constrained degrees of freedom vector (ascending order) [cDOF x 1]