[WIP]: remove Polynomial::Product, add Pair functor (!17) · Merge requests · Software / CoPaR

Bastian Kauschke requested to merge product into master Apr 16, 2020

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

[WIP]: remove Polynomial::Product, add Pair functor