Hi,

I'm using Maple to carry out some calculations in Tropical algebra, which requires taking minima of real numbers and infinity.

I'm currently using symbols rather than real numbers, which is causing a problem, I have (for example) the following lines of Maple code:

> assume(0 < a)
> min(a+infinity, 2*a+infinity)
               min(a~ + infinity, 2a~ + infinity)