How to convert a multivariable polynomial with integer coefficients to one with Float64 coefficients?

General Usage
1

The following code works, but seems ugly. There should be a better way to convert than multiplying by 1.0!
using DynamicPolynomials
@polyvar x[1:3]
m = monomials(x, 0:3)
mD = differentiate.(m, x[1]) *1.0

2

Please quote the code by enclosing it in triple-backticks. See Please read: make it easier to help you

Conversion can be done with convert:

using DynamicPolynomials
@polyvar x[1:3]
m = monomials(x, 0:3)
mD = differentiate.(m, x[1]) * 1.0
mD2 = convert.(Term{true, Float64}, differentiate.(m, x[1]))
mD2 == mD

true

This can be easily seen in the source code:

If you want to be comfortable, you should also take a look at the source code.

3

It would be nice if it also supported a float(poly) method…