Comment #49 on issue 821 by Vinzent.Steinberg: multiple arguments for max
and other improvements
http://code.google.com/p/sympy/issues/detail?id=821
Well, I think it is just convenient. If you write Max(x, 1), you are
implicitly assuming that x is real. (It would not be pragmatic to force you
to specify that it is real.) It's like in mathematics on paper: You often
write
Let eps > 0.
rather than
Let eps be real and eps > 0.
With this in mind, Max(I, 1) just does not make any sense, because it's a
contradiction. It's like writing 'Let eps > I.' or 'I > 0'. Thus we raise
an exception in this case.
Please don't worry to much about these (deprecated) assumptions, they are
broken in many ways. In fact, we are currently implementing a new
assumption system due to this (with assumptions not tied to symbols). See
ask() and refine(). Sadly, it is not yet ready to replace the old system,
and progress is slow, because it is so hard to do.
So I think the current behavior is fine, including things like 'Max(x, oo)
== oo'.
The only thing I would like to get fixed before merging this are the two
missing docstrings.
--
You received this message because you are subscribed to the Google Groups
"sympy-patches" group.
To post to this group, send email to sympy-patches@googlegroups.com.
To unsubscribe from this group, send email to
sympy-patches+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-patches?hl=en.
