`x*7`

rather than `7*x`

. The polynomial context uses coefficients before the variable, as is customary for polynomials. So my approach won't work for you, as you have found. Sorry!I'll give it some more thought, but don't have any ideas at the moment.

Davide