On 21 Apr., 02:12, Ronan Lamy <[email protected]> wrote:
> > Did you mean "underdetermined"?

Yes.

> I *really* think solve() should return a Set, not an ill-defined ad-hoc
> structure. Infinite solution sets don't necessarily have a parameter
> (for instance x == tan(x)), or they could be more than one family of
> solutions or more than one parameter, or the solution set could contain
> families with different dimensionalities. There are a lot of possible
> situations but they can all be represented by a set, because that's what
> solving an equation means: finding the set of values of the variables
> for which the equation holds.

+1

Mathematically it is a set, so we should return a set (and not a list
as currently for the onedimensional case). However, we might want to
return additional information like multiplicities, this could be
integrated in a subclass of a set.

Vinzent

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy?hl=en.

Reply via email to