What's the right way to compose a multivariate polynomial with a unary
polynomial in an argument other than the first?
A simple example is:
f = (x, y) ↦ x + y
g = y ↦ 2⋅y
f composed with g = (x, y) ↦ x + 2⋅y
I've tried substitution which doesn't seem to even give a valid polynomial
(is a polyno
This proposal is a little far-reaching, but I think it solves some real
issues with the ease of use of refine and provides a reasonable way forward
for typed symbols.
The problem with refine is that:
(1) It's wordy. Assumptions on symbols are succinct and easy.
(2) It requires explicit invocatio
ps://github.com/sympy/sympy/issues/6751.
> >>
> >> OTOH, it is also often very useful to keep assumptions completely
> >> separate from expressions, and we should not disallow that use-case.
> >>
> >> Also, I should point out that you can't use "
