Simulation of conservative properties of stiffness matrices in congruence transformation | Synapse