dolfin team mailing list archive

["Garth N. Wells" <gnw20@xxxxxxxxx>]

In C++, we can treat a Constant as a double, e.g.

  Constant dt(0.1)
  double t = 0.0l
  t += dt

but this doesn't work in Python. Is there an elegant was to do this? Or
is it just a case of defining __add__, etc in constant.py?

Garth