发送短信: Element stamp algorithm for matrix formulation of symbolic circuits