Comment #48 on issue 821 by pr...@goodok.ru: multiple arguments for max and other improvements
http://code.google.com/p/sympy/issues/detail?id=821

I will play with this function on week-end further to examine all questions and code design more.

About the last Vinzent's question. It is interesting, on the one hand we came to conclusion that this function must raise exception even in the case when only one argument is complex number e.g. `Max(I)`. On the other hand we assume that symbols (therefore some functions from them like `sin(x)`) are in complex field by default. But I confused how it related with `x.is_complex==None`. One may say that for this case it is not straightly defined that 'x' is now complex indeed, but only admitted that it can.

So it is a question what to do rightly.
Offhand, it can be:
- strictly follow the assumption core, and do not permit use variables which we are not sure with (x.is_complex==None). - or work with them, considering that assumptions are not defined (one may say that assumptions are symbolic variables too)

So I intend to the second variant also.
But this behaviour must be clear described, and not only for Max but for the assumions module too (if it is not already).

--
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.

Reply via email to