Matroid variant of Matiyasevich formula and its application | Synapse