Revision history [back]

Well...

sage: var("a, b")
(a, b)
sage: assume(a, b, "real", a>b)
sage: max_symbolic(a, b)
max(a, b)

disappointing, indeed. But :

sage: max_symbolic(a, b).simplify()
a

Aaaahhhh...

HTH,

Well...

sage: var("a, b")
(a, b)
sage: assume(a, b, "real", a>b)
sage: max_symbolic(a, b)
max(a, b)

disappointing, Disappointing, indeed. But :

sage: max_symbolic(a, b).simplify()
a

Aaaahhhh...

HTH,