master-thesis/calca/heat_flow/noncommuting_coupling.xopp