Henry, did you get any further with this?
I have often missed this kind of object, I usually keep track of the values
of constants in a dictionary and perform xreplace
before calling e.g. lambdify. But using a ConstantSymbol along the lines
which you have described would make the
code much cleane
Sure, it sounds useful.
I think the assumptions should mirror the assumptions of self.value
(currently, Floats set is_rational to None), which I believe is
intentional.
For lambdify, I suppose LambdaPrinter ought to define its own print
method. That might break existing code that expects it to us