Oh, and I forgot that another prerequisite is a way for solve() to state that it knows that it has found *all* the solutions. Otherwise, if you code the basic algorithm that finds all the critical points, you may miss some simply by virtue of solve() not finding it, and thereby potentially get wrong answers. **This** is the real reason that this problem is a lot harder than it sounds.
Aaron Meurer On Thu, Jan 16, 2014 at 8:03 PM, Aaron Meurer <[email protected]> wrote: > I don't think so. It doesn't exist for the same reason the function to > give an interval where a function is continuous doesn't exist: because > it's a lot harder to actually implement than it sounds (plus the one > would depend on the other). > > I think a good start would be to implement some way to represent it > symbolically. Maybe we should extend Max and Min to work with any kind > of set and use ImageSet. Or maybe it would be cleaner to represent it > with something like Max(f(x), Interval(0, 1)) (mathematically, max > with the subscript). > > This actually relates to several functions. We need a uniform way of > representing things like OP_{x \in SET} f(x), to use a pseudo-latex > notation. ImageSet can work, but it forces you to rethink of it as OP > NEWSET, where NEWSET is {f(x) | x \in set}, in other words, OP becomes > a set function rather than a normal function applied over a set of > inputs. > > Aaron Meurer > > On Wed, Jan 1, 2014 at 1:39 PM, Matthew Rocklin <[email protected]> wrote: >> Is there standard builtin functionality to find the minimum and maximum of a >> function over an interval? This seems like the sort of thing that might >> exist already. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at http://groups.google.com/group/sympy. >> For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
