why I don't enhance Refine

[asciisi...@gmail.com]

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.