M6R0
I%csumR6$%#epG'%#npG%%nameG6,%"eG%"nG%&iparsG%"kG%(limzeroG%$eg1G%$eg2G%#eaG%%q
posG%"bG6$%HMaple~Advisor~Database~1.01~for~Maple~6G%gnCopyright~(c)~2000~by~Ro
bert~B.~Israel.~~All~rights~reservedG6"C/>8&-%$mapG6$R6#%"xGF76$%)operatorG%&ar
rowGF7*$9$""#F7F7F7-%'indetsG6$FE%(integerG>%'csum/aG-%$maxG6$"&++"-%#opG6#F:>&
%0property/objectG6#8%-%(AndPropG6$-%*RealRangeG6$FL%)infinityGFJ>8$-%%evalG6$F
E/9%FX-%)userinfoG6("""F"%0Checking~sum~ofGF[o%%overGFX@$-%)TestzeroG6#F[oC%-Fb
o6%FFF"%8Terms~are~identically~0G-Fbo6%FdoF"%5Converges~absolutelyGO%%trueG@$-%
(hastypeG6$F[o)%)negativeG-%'linearGFWC(>&FV6#8'FY>8)-%)simplifyG6#-F]o6$F[o/FX
,$F`qFF>8*-Fdq6#-F]o6$F[o/FX,&F`qFFFdoFdo@$5-Fio6#Fbq-Fio6#F[rC$-Fbo6%""$F"%4Re
moving~terms~of~0GO-F"6$-F]o6#,&FbqFdoF[rFdoF`q-Fbo6(FFF"%0Alternate~termsGFbq%
$andGF[rO-%/csum/alternateG6%FbqF[rF`q>8(-%/csum/limitzeroG6$F[oFX@$/F\t%&false
GC$-Fbo6%FdoF"%0Series~divergesGOFbt@'-%#isG6#1F[o""!C%>8+,$F[o!"">8,Fcp-Fbo6%F
[sF"%AChanging~sign~to~make~terms~>=~0G-Fjt6#1F]uF[oC%>F`uF[o>FduFcp-Fbo6%F[sF"
%+Terms~>=~0GC%>F`u-%)csum/absGFjo>Fdu-%&evalbG6#/F`uF[o@$FduF^v>8--%,csum/absc
onG6$F`uFX@)/F\wFcpC$-Fbo6'FdoF"%'SeriesGF[o%5converges~absolutelyGOFcp/F\wFbt@
%FduC$FdtOFbt-Fbo6%FdoF"%DSeries~does~not~converge~absolutelyGFdu-Fbo6%FdoF"%=C
ould~not~decide~convergenceG-Fbo6%FdoF"%ICould~not~determine~absolute~convergen
ceG-%,csum/conditGF_tF76$FLFVF7F7,
I/csum/alternateR6%%#e1G%#e2GF+6)%#esGF1F.%"iGF2%$qchGF3F4F7C/>F[o7$FEF`o>F:7$%
%FAILGFfy?(F`qFdoFdoFFFcpC$>&F:F_q-F^t6$&F[oF_q9&@$/FjyFbtC$FdtOFbt>FX7$F]uF]u>
F\tFey>Fbq7$FbtFbt?(F`qFdoFdoFFFcp@'-Fjt6#1F]zF]uC&>&FXF_q,$F]zFbu>&F\tF_qFcp>&
FbqF_qFcp-Fbo6'F[sF"%1Changing~sign~inGF]z%3to~make~terms~>=~0G-Fjt6#1F]uF]zC%>
F_[lF]z>Fb[lFcp-Fbo6'F[sF"%&TermsGF]z%%>=~0GC%>F_[l-Fdv6#F]z>Fb[l-Fgv6#/F_[lF]z
@$Fb[lF_\l>F[r-F<6%F^wFXF^z@$/F[r7$FcpFcpC$-Fbo6%FdoF"%<Series~converges~absolu
telyGOFcp@%-%'memberG6$FbtF[r@%3/F\tFa]l/&Fbq6#Fdo&Fbq6#FFC$FdtOFbtF\xFbx?(F`qF
doFdoFFFcp@$3/&F[rF_qFfy4Fb[l>Fi^l-FfxF\z@&F`]lC$-Fbo6'FdoF"FewF*%*convergesGOF
cp5/F[r7$FcpFbt/F[r7$FbtFcpC$FdtOFbt@%-Fi]l6$FcpF:C$-Fbo6%FFF"%+RegroupingG-F"6
$,&FEFdoF`oFdoF^zC$-Fbo6%FdoF"%@Could~not~determine~convergenceGFfyF7F7F7F7,
I/csum/limitzeroR6$F*F+6%%"LG%#arG%#brGF4F7C)-Fbo6%FFF"%8Checking~limit~of~term
sG>F[o-%*traperrorG6#-%&limitG6$FE/F`oFin@$0F[o%*lasterrorGC$@$FhoC$-Fbo6%FFF"%
/OK,~limit~is~0GOFcp@$53-%%typeG6$F[o%*algebraicG4-%$hasG6$F[o.Fhal3-%*typematc
hG6$F[o;'FX%)constantG'F:Fgcl-Fjt6#52F]uFX2F:F]uC$-Fbo6&FdoF"%=Diverges,~limit~
of~terms~is~GF[oOFbt>F[o-Feal6#-Fhal6$-Fdv6#FEFjal@$F\blC$@$FhoC$FablOFcp@$Ffbl
C$-Fbo6&FdoF"%PDiverges,~limit~of~absolute~values~of~terms~is~GF[oOFbt-Fbo6&Fdo
F"%Elimit~of~absolute~values~of~terms~isGF[oFfyF7F7F7F7,
I)csum/absRF?6&%"rG%"vGF-%"uGF4F7C&@&-Fjt6#1F]uFEOFE-Fjt6#1FEF]uO,$FEFbu>F[o-%$
absGFidl@$-F^cl6$F[oF[gl@&-Fccl6$F[o-F[gl6#'FX%)anythingG@&-Fibl6$FX%"*GO-F<6$F
dvFX3-Fccl6$FX)'F`qF[cl'F:F[cl-Fjt6$F:%%realGO)-FdvF_qF:-Fibl6$F[oFiglO-F<6$Fdv
F[oF[oF7F7F7F7,
I,csum/absconRFj`l6$F3%%testGF4F7C$?&FX7&%/csum/ratiotestG%0csum/loglogtestG%+c
sum/indefG%+csum/splitGFcpC$>F[o-FX6$FEF`o@$0F[oFfyOF[oFfyF7F7F7F7,
I,csum/conditRFj`l6$FailF3F4F7C%?&F[o7%%-csum/osctestGFgilFhilFcpC$>FX-F[oF\jl@
&/FXFcpC$-Fbo6%FdoF"%1Series~convergesGOFcp/FXFbtC$FdtOFbtFe`lFfyF7F7F7F7,
I/csum/ratiotestRFj`l6%F\alF%F3F4F7C(-Fbo6%FFF"%2Trying~ratio~testG>F[o-Feal6#-
Fhal6$*&-%%subsG6$/F`o,&F`oFdoFdoFdoFEFdoFEFbuFjal@$5/F[oF]bl-F^cl6$F[oFhalC$@%
-Fccl6$FE-F[gl6#'FXF[cl>F[o-Feal6#-Fhal6$*&-Fb\m6$Fd\mFXFdoFXFbuFjal>FXFE@$Fg\m
C$>F:-Fdq6#Fg]m>F[o-Feal6#-Fhal6$F:Fjal@%-Fibl6$F[o%&rangeGC&>F:-Feal6#3-Fjt6#2
Fbu-FR6$FdoF[o-Fjt6#2-FR6$FFF[oFdo@$/F:FcpC$-Fbo6&FFF"%FRatio~test~succeeds~wit
h~ratio~limit~GF[oOFcp>F:-Feal6#5-Fjt6#2FdoFa_m-Fjt6#2Ff_mFbu@$Fi_mC$-Fbo6&FFF"
%CRatio~test~fails~with~ratio~limit~GF[oOFbtC'@$55Fh\m/F[oFdo/F[oFbuC$-Fbo6&FFF
"%IRatio~test~inconclusive~with~ratio~limitGF[oOFfy>F:-Feal6#3-Fjt6#2F[oFdo-Fjt
6#2FbuF[o@$Fi_mC$F[`mOFcp>F:-Feal6#5-Fjt6#2FdoF[o-Fjt6#2F[oFbu@$Fi_mC$-Fbo6&FFF
"%MRatio~test~shows~divergence~with~ratio~limitGF[oOFbtFfamFfyF7F7F7F7,
I-csum/osctestR6%F*F+%"aG6)F%F]flF\fl%"fG%"SGF\al%"qGF4F7C8>F[o-%'normalGFidl@$
-Fibl6$F[o)FiglF[cl>F[o-Fbdm6#-%'expandGFidl@$4FihlOFfy-Fbo6&FFF"%CTrying~oscil
lating~series~test~on~GF[o>FXFdo>F:Fdo?&F`qF[oFcpC)>F[r-FH6$F`q)FbuF[cl@$0F[r<"
C$>FX*&FXFdoF`qFdo\>F[r-FH6$F`q-%)specfuncG6$Fegl%$expG@$3F[fm/-Feal6#-Fjt6$*&^
#FdoFdo-FR6#-FR6$FdoF[rFdoFehlFcpC$>FXF_fmF`fm>F[r-FH6$F`q-Fefm6$Fegl<$%$cosG%$
sinG@$3F[fm/-Feal6#-Fjt6$FagmFehlFcpC$>FXF_fmF`fm>F:*&F`qFdoF:Fdo-Fbo6*""%F"%*S
plittingGFE%%intoGFXFfsF:>F\t-%$sumG6$FXF`o@$-F^cl6$F\t.FaimC%-Fbo6&F\imF"%:Cou
ld~not~explicitly~sum~GFX-Fbo6%FFF"%>Oscillating~series~test~failsGOFfy>Fbq-Fea
l6#-Fhal6$F\tFjal@$-Fibl6$FbqFinC%-Fbo6)F\imF"%/Indefinite~sumGF\t%#ofGFX%3has~
infinite~limitGF[jmOFfy@$5-F^cl6$FbqF`cl/FbqF]blC%-Fbo6&F\imF"%GCould~not~find~
limit~of~indefinite~sumGF\tF[jmOFfy-Fbo6'F\imF"FjjmF\t%+is~boundedG>FbqFa^m@$0F
bqF]uC%-Fbo6&F\imF"%CCould~not~show~convergence~to~0~ofGF:F[jmOFfy>Fbq-Feal6#-%
'asymptG6$F:F`o@$Fb[nC%-Fbo6&F\imF"%@Could~not~check~monotonicity~ofGF:F[jmOFfy
>Fbq-Feal6#-Fhal6$*&FbqFdo-FdvFerFbuFjal@$5/FbqFdo/FbqFbuC$-Fbo6%FFF"%AOscillat
ing~series~test~succeedsGOFcp-Fbo6&F\imF"%?Could~not~show~monotonicity~ofGF:Ffy
F7F7F7F7,
I0csum/loglogtestRFj`l6(F\alF3%$levG%"jGF@FjcmF4F7C'-Fbo6%FFF"%3Trying~loglog~t
estG?(F:FdoFdo"#5FcpC'>F\t*&-%#lnG6#*(FEFdoF`oFdo-%$mulG6$--%#@@G6$Fa_nF`q6#F`o
/F`q;Fdo,&F:FdoFbuFdoFdoFdo--Fi_n6$Fa_n,&F:FdoFdoFdoF[`nFbu>F[oF`jm@$Fg\m>F[o-F
eal6#-Fhal6$-Fg\n6$F\tF`oFjal@%Fg\m@&-Fjt6#2F\tFbuC$>F[o!"#-Fbo6'F\imF"*&-Fa_n6
#*(&FbqF[`nFdoF`oFdoFd_nFdoFdoF_`nFbu%)<~-1~as~GR6#F+F7FAF7FinF7F7F7-Fjt6#2FbuF
\tC$>F[oF]u-Fbo6'F\imF"Ffan%)>~-1~as~GRF]bnF7FAF7FinF7F7F7-Fbo6(F\imF"%*limit~o
f~GFfanFjtF[o@$0F[oFbu[@(Ff^mC&>FX-Feal6#Ff`m@$F[[mC$-Fbo6%FFF"%5Loglog~test~su
cceedsGOFcp>FX-Feal6#F^_m@$F[[mC$-Fbo6%FFF"%=Loglog~test~shows~divergenceGOFbtF
damC$-Fbo6%FFF"%2Loglog~test~failsGOFfyF\blC&>FX-Feal6#F^cm@$F[[mC$FdcnOFcp>FX-
Feal6#Fabm@$F[[mC$F]dnOFbt-Fbo6%FFF"%9Loglog~test~inconclusiveGFfyF7F7F7F7,
I+csum/splitRFj`l6(F_yF3%#bdG%#bfG%#bsGF2F4F7C-@$4-Fibl6$FE%"+GOFfy-Fbo6&FFF"%6
Splitting~up~terms~ofGFE>FX-%(convertG6$FE%%listG>F\t-Fhfn6$-F<6$%'signumGFX%$s
etG>Fbq-Fgv6#5/F\t<#Fdo/F\t<#Fbu>FX-F<6%F"FXF`o>F:F]u>F`qF]u?(F[oFdoFdo-%%nopsG
FWFcp@&/&FXFjoFbtC$@$FbqC$-Fbo6%FFF"%7Term~has~divergent~sumGOFbt>F:Fb`n/FdhnFf
y>F`q,&F`qFdoFdoFdo@$3/F:Fdo/F`qF]uC$-Fbo6%FFF"%9Sum~of~one~term~divergesGOFbt@
%3/F:F]uFcinC$-Fbo6%FFF"%;Sums~of~all~terms~convergeGFcpC$-Fbo6%FFF"%4Splitting
~up~failedGFfyF7F7F7F7,
I+csum/indefRFj`l6$%"FGF\alF4F7C*-Fbo6%FFF"%<Trying~indefinite~summationG>F[o-F
aimF\jl@$-F^cl6$F[oFfimC$-Fbo6%FFF"%<Indefinite~summation~failedGOFfy>FX-Fhal6$
F[oFjal@$5-F^cl6$FXF`cl-Fibl6$FXFh^mC$-Fbo6%FFF"%BCould~not~determine~limit:~fa
iledGOFfy@$5-Ffp6$FXFin-Fibl6$FX%*undefinedGC$-Fbo6&FFF"%;Limit~of~indefinite~s
um~isGFXOFbt-Fbo6%FFF"%?Indefinite~summation~succeededGFcpF7F7F7F7
