Use this option for the graphs produced in expanding_differential, so
that in the next step, only one representative of each edge orbit can be
contracted. So far we do not use this option for the graphs produced by
contractions. (It could be used in the future to produce coboundaries.)

Also compute the normal form of the result.