Symbolic min/max

[pelegm]

The Python builtins max and min are not user-friendly because they give totally wrong results on symbolic input:

sage: max(1/(1-x), 1/x)
-1/(x - 1)

There exist functions max_symbolic and min_symbolic but people generally don't know those functions. They expect max and min to "just work".

One way this puzzles users is when plotting eg the following:

sage: plot(max(1/(1-x), 1/x), (x, 0, 1), ymin=0, ymax=10))

... for which a workaround is to plot using a lambda function:

sage: plot(lambda x: max(1/(1-x), 1/x), (0, 1), ymin=0, ymax=10)

Depends on #24838

CC: @mathzeta @slel

Component: symbolics

Keywords: min, max, days79

Issue created by migration from https://trac.sagemath.org/ticket/21945

[mathzeta]

comment:2

The functions max_symbolic and min_symbolic exist. They can not make strong deductions, but at least they do know how to convert to sympy's Max and Min.

[pelegm]

comment:3

Replying to @mathzeta:

The functions max_symbolic and min_symbolic exist. They can not make strong deductions, but at least they do know how to convert to sympy's Max and Min.

Thanks for the info. The names are not intuitive, but perhaps we can live with it. Here's a short list of what these creatures should be able to do:

• Assume x and y are positive. Then min_symbolic(x, y) and max_symbolic(x, y) should return True.
• Similarly, for x and y which are both negative, nonnegative and nonpositive.
• Similarly, if x is assumed to be negative and y is assumed to be positive, then min and max should behave respectively.
• min and max of real symbols should be real. Similarly for algebraic, rational, integer...
• Should min_symbolic(x, x) simplify to x?

[mathzeta]

comment:4

Replying to @pelegm:

• Should min_symbolic(x, x) simplify to x?

It currently does. Regarding your other points, unfortunately, it seems those are not available. See also #17700 and #19162.
A "non-trivial" thing that does work is that

var("x,y,z")
assume(x>z)
assume(z>y)
print max_symbolic(x,y,z).simplify()
print min_symbolic(x,y,z).simplify()

prints x and y.

[rwst]

comment:8

Replying to @pelegm:

• Assume x and y are positive. Then min_symbolic(x, y) and max_symbolic(x, y) should return True.
• Similarly, for x and y which are both negative, nonnegative and nonpositive.
• Similarly, if x is assumed to be negative and y is assumed to be positive, then min and max should behave respectively.
• min and max of real symbols should be real. Similarly for algebraic, rational, integer...

Actually this is quite achievable. Pynac already has such logic for several functions. However, it would help if min/max_symbolic would be made GinacFunctions (like most elementary functions). Note also #18630, #24368, #24352, #22162 and pynac/pynac#293

[rwst]

comment:9

However, it would help if min/max_symbolic would be made GinacFunctions (like most elementary functions).

Not necessary, after some thought. I'll put this in pynac-0.7.19. The various queries depend on existence of their interface, e.g. ex.is_rational (#24368), ex.is_nonnegative (simply is_trivial_zero() or is_positive() Ticket?), ex.is_nonpositive likewise. There is no is_algebraic logic in Pynac at the moment, this is part of the above issue.

[rwst]

Dependencies: #24838