These are chat archives for gxyd/sum_convergence
Perhaps something like real_order would be better.
@jksuom can you please tell, what you think this,
real_order be doing then ?
Order. At least I think those would be the best candidates.
O(x**a*log(x)**b), etc. (not to forget exponentials). It is important that they are defined by functions that do not change sign in a neighbouhood of the limit point. (Here I am thinking of
oo). They have to be excluded somehow.
Ordernon-equivalent. One could be applied to any function, the other one only to such that define a genuine order.
real_order(in want of a better name) applied to any function would return a genuine order suitable for the function. For example,
real_order(sin(x)) == O(1).