#NEWLINE# @ property #NEWLINE# def convergence_statement( self ) : #NEWLINE# #INDENT# ' Return a condition on z under which the series converges. ' #NEWLINE# from sympy import And , Or , re , Ne , oo #NEWLINE# R = self . radius_of_convergence #NEWLINE# if ( R == 0 ) : #NEWLINE# #INDENT# return False #NEWLINE# #UNINDENT# if ( R == oo ) : #NEWLINE# #INDENT# return True #NEWLINE# #UNINDENT# e = self . eta #NEWLINE# z = self . argument #NEWLINE# c1 = And ( ( re ( e ) < 0 ) , ( abs ( z ) <= 1 ) ) #NEWLINE# c2 = And ( ( 0 <= re ( e ) ) , ( re ( e ) < 1 ) , ( abs ( z ) <= 1 ) , Ne ( z , 1 ) ) #NEWLINE# c3 = And ( ( re ( e ) >= 1 ) , ( abs ( z ) < 1 ) ) #NEWLINE# return Or ( c1 , c2 , c3 )