Merge pull request #1763 from gcomte/feature/derive-eq