CoPaR merge requestshttps://git8.cs.fau.de/software/copar//merge_requests20200419T16:02:05Zhttps://git8.cs.fau.de/software/copar//merge_requests/17[WIP]: remove Polynomial::Product, add Pair functor20200419T16:02:05ZBastian Kauschke[WIP]: remove Polynomial::Product, add Pair functorAn exercise. `pairp` is probably still faulty, as `examples/dfa` fails with
```
examples/dfa:16:6:

16  {f,n}xX^{a,b}
 ^
unexpected 'x'
expecting '#', '+', newline, or space
```An exercise. `pairp` is probably still faulty, as `examples/dfa` fails with
```
examples/dfa:16:6:

16  {f,n}xX^{a,b}
 ^
unexpected 'x'
expecting '#', '+', newline, or space
```HansPeter DeifelHansPeter Deifelhttps://git8.cs.fau.de/software/copar//merge_requests/34polynomial: Sort edge labels before printing20200921T11:58:19ZHansPeter Deifelpolynomial: Sort edge labels before printingEdge labels contain the indices into the current product, and since we're
walking through factors in from left to right, we also want those indices to
appear in the correct order.
This bug doesn't appear when printing the parsed encodin...Edge labels contain the indices into the current product, and since we're
walking through factors in from left to right, we also want those indices to
appear in the correct order.
This bug doesn't appear when printing the parsed encoding directly, since edge
labels are usually sorted after parsing. But after our new minimization work,
this will not be a valid assumption anymore.Bastian KauschkeBastian Kauschke