I start enhancing Refine. For my first experiment, I:
sympy.srepr(sympy.integrate(S('cos(x * y)'), S('(x, 0, a)')))
==>
"Piecewise(ExprCondPair(Mul(Pow(Symbol('y'), Integer(-1)),
sin(Mul(Symbol('a'), Symbol('y')))), And(StrictGreaterThan(Symbol('y'),
-oo), StrictLessThan(Symbol('y'), oo), Unequality(Symbol('y'),
Integer(0)))), ExprCondPair(Symbol('a'), true))"
So I wonder, how is StrictGreaterThan defined between complex numbers? So I
google "sympy StrictGreaterThan" and read the docs, and they don't say. I
know I can ask on the forum and the get the answer, but that answer won't
come for a day, and I have no interest in investing in software where it
takes a day to learn how to do each thing, because it's all undocumented.
Abort my project to enhance Refine. Find a different developer for that,
one without the Stanford A.I. degree, one who hasn't read Euler, Gauss,
Church, Post, Godel, and Kleene, one willing to work with undocumented
libraries.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/133a3aae-db1d-4fe5-8314-90e934f7201en%40googlegroups.com.
