HaPPY/matchgate equivalence