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

_______________________________________________
Mailing list: https://launchpad.net/~dolfin
Post to     : [email protected]
Unsubscribe : https://launchpad.net/~dolfin
More help   : https://help.launchpad.net/ListHelp

Reply via email to