polynomials: a composition
I would like to be able to compose two multi-tape polynomials.
That would help checking the composition of automaton.
For a start, composing on the last test of the first one, and first of the second, seems good enough.
Besides, I think we can define a compose
operator in the rational expressions, and process it with expansions. I expect that we would need such a compose
operator on polynomials. I cannot tell for sure, I did not think seriously about this yet, that's just a hunch.
I would like to have poly & 3
too, for repeated conjunction.