Am 07.01.2015 um 08:48 schrieb Harsh Gupta:
* `solveset` can return infinitely many solutions. For example solving for
`sin(x) = 0` returns {2⋅n⋅π | n ∊ ℤ} ∪ {2⋅n⋅π + π | n ∊ ℤ} Whereas `solve`
only returns [0, π]

Awesome.

Is it able to simplify to {n⋅π | n ∊ ℤ} ?
(Though I guess you don't always want that.)

Is that result a data structure, or a string?
(A data structure would be preferable since it could be used as input for more activities.)

* There is a clear code level and interface level separation between
solvers for equations in complex domain and equations in real domain. For
example solving `exp(x) = 1` when x is complex returns the set of all
solutions that is {2⋅n⋅ⅈ⋅π | n ∊ ℤ} . Whereas if x is a real symbol then
only {0} is returned.

Sweet.

It would be nice if this were extensible to more domains, such as integers, vectors etc. I can imagine things like a linear algebra solver that can find the quaternion that reproduces a given point-to-point mapping. That would make SymPy useful for the 3D graphics crowd, even application programmers hit questions like "at what point on his route will A be able to see B"; the usual graphics engines cannot answer parametrized questions like that, they need concrete points A and B.

I don't know whether this makes sense with the current architecture, and I don't have the time nor enough mathematical background to implement any of this. It would just be a nice enabler if people come along who'd like to work on a linalg solver. Or a diophantine solver. Or a solver for whatever other domains are out there (I bet there's a host of them).

--
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/54ACF84E.80606%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.

Reply via email to