MVR5
I/evalf/INTERVALR6"F$F$F$-%$mapG6$%&evalfG-%)INTERVALG6#9"F$F$F$F$,
I%gminR6&'%"fG%*algebraicG'%"rG/%%nameG;%)realconsGF8'%"mGF6'%#b0GF865%"xG%"aG%
"bG%#fnG%$fnpG%%fnppG%#faG%#fbG%$bsfG%$msfG%$resG%#flG%"nG%"iG%#aiG%#biG%#bbG%#
mbG%#f0G6$%XMaple~Advisor~Database~1.00~for~Maple~V~Release~4~and~5G%gnCopyrigh
t~(c)~1998~by~Robert~B.~Israel.~~All~rights~reservedGF$C<>%'DigitsG,&FV"""""&FX
>8$-%#opG6$FX9%>8%-F(6#-Fgn6$FX-Fgn6$""#Fin>8&-F(6#-Fgn6$FboF`o@$2FdoF[o-%&ERRO
RG6$%2invalid~interval~G7$F[oFdo@$-%$hasG6$9$<(%$absG%$maxG%$minG%*HeavisideG%*
piecewiseG%'signumGC+>8/-%(convertG6%Fdp%'pwlistGFen@$-Fbp6$F^qFep-F\p6#%Dcould
~not~convert~to~piecewise~listG>80,&-%%nopsG6#F^q#FXFboF_rFX>8,%)infinityG>8-<"
>FV,&FVFX!"&FX?(81FXFXFjq%%trueGC)@%/FjrFX>82F[o>F`s-Fgp6$F[o-F(6$&F^q6#,&FjrFb
o!"#FXFW@%/FjrFjq>83Fdo>F]t-Fhp6$Fdo-F(6$&F^q6#,$FjrFboFW@$2F]tF`s%%nextG>84-F-
6&&F^q6#,&FjrFbo!""FX/Fen;F`sF]t.85Far>8.-%,gmin/newminG6&FduFjtFarFdr>Far&Ffu6
#FX>Fdr&Ffu6#Fbo@$1""$9#>9&-F(6#Fdr-%'RETURNG6#-F(6#Far@$-Fbp6$FinFbrC%>Far-%.g
min/infiniteG6%FdpFinFdr@$Fav>FevFdr-FivF\w>8'-%(unapplyG6$FdpFen>8*-%*traperro
rG6#-F(6#-Fiw6#F[o@$/F^x%*lasterrorG>F^x-F(6#-%&limitG6%Fdp/FenF[o%&rightG@$4-%
%typeG6$F^xF8-F\p6$%-Can~not~findG-%&LimitGF^y>8+-F`x6#-F(6#-Fiw6#Fdo@$/F\zFhx>
F\z-F(6#-F]y6%Fdp/FenFdo%%leftG@$4-Fdy6$F\zF8-F\p6$Fhy-FjyFiz@%-Fbp6$7$F^xF\zFb
r>%*gmin/eps2G-%&FloatG6$FX,&FYFXFVF`u>Fh[l,$*&Fi[lFX,(-Ffp6#F^xFX-Ffp6#F\zFX$F
XFisFXFXF_r>8(-F[x6$-%%diffGF\xFen>8)-F[x6$-F[]l6$Fdp-%"$G6$FenFboFen@'2F^x,&F\
zFXFh[lF`uC$>FarF^x>Fdr<#F[o2F^x,&F\zFXFh[lFXC$>Far-Fhp6$F^xF\z>Fdr<$FdoF[oC$>F
arF\z>Fdr<#Fdo@$32F[o""!2F[_lFdoC&>86-F(6#-Fiw6#F[_l>Fjt-Fhu6&<#F[_lF__lFarFdr>
Far&FjtF\v>Fdr&FjtF_v@$3/Fcv""%29'FarC$>FarFa`l>FdrFer>%*gmin/eps1G*&Fi[lFX,&-F
fpFbzFX-FfpFexFXFX@%/FdoF[o>%*gmin/eps3GFX>F^al*&Fh[lFX,&FdoFXF[oF`uF`u@%/Far,$
FbrF`u>Ffu7$FarFdr>Ffu-%*gmin/gminG6+FiwFg\lF]]lF[oFdoF^xF\zFarFdr>FVFgr@$Fav>F
ev-F(6#F^v-F(6#F[vF$6%Ff`lFh[lF^alF$F$,
I%gmaxR6#F1F$FQF$,$-F-6$,$FdpF`u&F,6#;FboFcvF`uF$F$F$F$,
I.gmin/infiniteR6%F0F3F96.F>F?F@FH%#b1G%#m1G%#b2G%#m2G%#b3G%#m3G%"vG%"cGFQF$C*>
FenFfn>F[oF\o>FdoFeo@$1FdoF[oF[p>FVFgr@%/F[oFdal@%/FdoFbrC(>F^x-F-6%Fdp/Fen;!#5
"#5F\z>Fg\l-F-6&-%%subsG6$/Fen*$FfuF`uFdp/Ffu;$F`uF`uF[_lF]]lF^x>F]]l-F&6$R6#%"
tGF$F$F$@%/FdpF[_lFdal*$FdpF`uF$F$F$F]]l>Far-F-6&F_el/Ffu;F[_l$FXF`uFdr-Fhp6$Fg
\lF^x>Fdr-F&6$RF[flF$F$F$@%F^flFbrF_flF$F$F$Fdr>Fiw-Fhu6%FdrFar-Fgn6#-Fhu6&F]]l
Fg\lF^xF\zC'>F^q,&FjdlFXFi`lF`u>Fg\l-F-6%F_el/Ffu;*$F^qF`uF[_lF]]l>F]]l-F&6$RF[
flF$F$F$@%F^flFdalF_flF$F$F$F]]l>F^x-F-6&Fdp/Fen;F^qFdoF\zFg\l>FiwFbglC'>F^q,&F
[elFXFj`lFX>Fg\l-F-6%F_el/Ffu;F[_lF\hlF]]l>F]]l-F&6$RF[flF$F$F$@%F^flFbrF_flF$F
$F$F]]l>F^x-F-6&Fdp/Fen;F[oF^qF\zFg\l>FiwFbgl>Fev&FiwF_v&FiwF\vF$F$F$F$,
I,gmin/newminR6&F?FDFFFG6%F:F@%#saGFQF$C$@%-Fdy6$Fdp%$setG>FdoFdp>Fdo<#Fdp@'2Fi
n,&FevFXFh[lF`uC$@%/FdoFer-%)userinfoG6&FYF-%*new~best~GFin-Fb[m6(FYF-Fd[mFin%%
~at~GFdp7$FinFdo2Fin,&FevFXFh[lFXC%>F[o-Fhp6$FevFin@%0FdoFerC$-Fb[m6(FYF-%&best
~GFinFg[mFdp>Fdo-%&unionG6$Fa`lFdo>FdoFa`lF_p7$FevFa`lF$F$F$F$,
I*gmin/gminR6+FAFBFCF?F@FDFEFFFG65FNFO%#frG%#f1G%#f2G%$fp1G%$fp2G%$fa1G%$fb1GFh
cl%#fcG%%fpp1G%%fpp2G%#a1GFacl%$fpaG%$fpbG%"qG%"wGFQF$CH-Fb[m6)F_`lF-%3Checking
~interval~G;Fa`l9(%+end~valuesG9)9*@$2,&Fc^mFXFa`lF`uFf`l-Fiv6#-Fhu6&Fa`lFe^m9+
9,>Fdu-Fdp6#-F*6#Fb^m>Fdo-F`x6#-F(6#--%(readlibG6#%&evalrG6#Fdu@$/FdoFhx>Fdo-F`
x6#-F(6#-F^`m6#-%'normalGF_`m@$Fa`mC$-%'assumeG6$1Fa`lF__l1F__lFc^m@%/-F[q6%F[_
l,&-Fdp6#F__lFXF^_mF`uF[_lFX-Fiv6#7$F^_mF__m>Fdo-F*6#;FdalFbr@'-Fdy6$Fdo<$-%)sp
ecfuncG6$%&rangeGF*-%%listG6#FgbmC$>Fiw-Fgn6$FX-Fgn6$FXFdo>Fg\l-Fgn6$Fbo-Fgn6$F
`uFdo-Fdy6$FdoF8C$>FiwFdo>Fg\lFdo-F\p6$%0evalr~returned~GFdo-Fb[m6(FYF-%)range~
onG7$Fa`lFc^m%%~is~G7$FiwFg\l@&2F^_mFiwFiam1Fg\lFiw-Fiv6#-Fhu6&Fc_m-Fhp6$Fe^mFf
^mF^_mF__m>Fdu-FinFb_m>Fdo-F`x6#-F(6#-F^`mF_`m@$Fa`m>FdoFc`m@$Fa`mC%-F^am6$2Fa`
lF__l2F__lFc^m>Fdu-FinFham@'/-F[q6%F[_lFduFXFX>Fdo-F*6#;F[_lFbr/-F[q6%F[_lFduF`
uF`u>Fdo-F*6#;FdalF[_l>FdoF]bm@'FabmC$>F]]lF]cm>F^xFbcmFfcmC$>F]]lFdo>F^xFdoF[d
m@&1,$F^alF`uF]]l@%1F^xF^alFgdmFj^mFjgm@%FggmFgdm-Fiv6#-Fhu6&Fc^mFf^mF^_mF__m>F
du-FevFb_m>FdoF`em@$Fa`m>FdoFc`m@$Fa`mC%Fiem>Fdu-FevFham@'F`fm>FdoFdfmFgfm>FdoF
[gm>FdoF]bm@&FabmC$>F^qF]cm>FjqFbcmFfcmC$>F^qFdo>FjqFdo@&1F[_lF^q-Fiv6#-%,gmin/
convexG6%F,-F(6#-Fin6#Fa`l-F(6#-Fin6#Fc^m1FjqF[_l@%1Fe^mFf^m@%/Ff^mFe^m-Fiv6#-F
hu6&<$Fa`lFc^mF[emF^_mF__mFj^mF\hm>F]t-F`x6#F[jm@$/F]tFhx>F]t-F(6#-F]y6%-Fin6#F
>/F>Fa`lF`y@$4-Fdy6$F]t%(numericG-F\p6$%>Can't~evaluate~derivative~at~GFa`l>Fjt
-F`x6#F_jm@$/FjtFhx>Fjt-F(6#-F]y6%Fg[n/F>Fc^mF[[l@$4-Fdy6$FjtF^\n-F\p6$Fa\nFc^m
@%0F]]lFdal>Fjr,&Fa`lFX*&,&F^_mFXFe^mF`uFXF]]lF`uFX>FjrFa`l@$0F^qFdal>Fjr-Fgp6$
Fjr,&Fa`lFX*&,&F]tFX-%%sqrtG6#,&*$F]tFboFX*&F^qFX,&Fe^mFXF^_mF`uFXFisFXFXF^qF`u
F`u@$32F]tF[_l0FjqFbr>Fjr-Fgp6$Fjr,&Fa`lFX*(F]tFXFjqF`u,&FXFXFi[lF`uFXF`u@%0F^x
Fbr>F`s,&Fc^mFX*&,&F^_mFXFf^mF`uFXF^xF`uFX>F`sFc^m@$F[^n>F`s-Fhp6$F`s,&Fc^mFX*&
,&FjtFX-Fc^n6#,&*$FjtFboFX*&F^qFX,&Ff^mFXF^_mF`uFXFisF`uFXF^qF`uF`u@$32F[_lFjtF
\_n>F`s-Fhp6$F`s,&Fc^mFX*(FjtFXFjqF`uFb_nFXF`u@&2F`s,&FjrFXFf`lF`uFiam2F`sFjrC%
>Fjr,&FjrF_rF`sF_r@%/FjrFa`l>F\zFe^m>F\z-F(6#-Fdp6#Fjr-Fiv6#-Fhu6&FjrF\zF^_mF__
m@%Fgan>F\zFe^m>F\zFjan@%/F`sFc^m>FarFf^m>Far-F(6#-Fdp6#F`s>Fen-Fhu6%FerFar-Fgn
6#-Fhu6&FerF\zF^_mF__m@%2,&F`sFboFjrFisFi^m-Fiv6#-Fial6*FdpFinFevFjrF`sF\zFar-F
gn6#FenC&>FdrFean>Ffu-F(6#-FdpFgv>Fen-Fhu6%FerFfuF[dn@%2F\zFarC$>Fen-Fial6*FdpF
inFevFjrFdrF\zFfuF[dn-Fiv6#-Fial6*FdpFinFevFdrF`sFfuFarF[dnC$>FenF^en-Fiv6#Fjdn
F$F$F$F$,
I,gmin/convexR6-FAFBFCF?F@FDFEFFFGFj]mF[^m66FNFOF_]mF`]mFa]mFb]mFc]mFd]mFe]mFhc
lFf]m%$fpcGFi]mFacl%"dG%#fdG%$fpdG%%fppdG%%fpa1G%%fpb1GFQF$C+-Fb[m6)F_`lF-%4Con
vex~on~interval~GFb^mFd^mFe^mFf^m@$Fh^mFj^m@&1Fhgm9-@'2F^al9.Fj^m2F^_mFe^mFiam-
Fiv6#7$F^_m-Fg\m6$-%&minusG6$F__mF\[n<#Fc_m1FifnF^al@'2FffnFhgmF\hm2F^_mFf^mFia
mF[gn@%1F[_l,&FffnFXFifnFXC$>F`sFa`l>FjtFffnC$>F`sFc^m>FjtFifn>Fdu-F(6#-FevF\cn
@%2F[_lFduC$>Fdr,&F`sFX*&FjtFXFduF`uF`u@$52FdrFa`l2Fc^mFdr>Fdr*&,&*&FifnFXFa`lF
XFX*&FffnFXFc^mFXF`uFX,&FifnFXFffnF`uF`u>FdrF`in>FfuF`dn>F^q-F(6#-FinFgv@'2-Ffp
F^rF^al-Fiv6#-Fhu6&FdrFfuF^_mF__m2F[_lF^qC*>Fen-Fhu6&FerFfuF^_mF__m>Fjq,&Fa`lFX
*&Fh]nFXFffnF`uFX@$2FdrFjq-FivF\dn>F`s,&Fjq$FYF`uFdrF_[o>F]tFibn>Fen-Fhu6%FerF]
tF[dn>Fjt-F(6#-FinF\cn@%1F[_lFjtC&>F\z-F(6#-Fdp6#Fjq>Fen-Fhu6%FerF\zF[dn>F__l-F
(6#-FinF_\o-Fiv6#-Fiim6,FdpFinFevFjqF`sF\zF]tF[dnF__lFjt-Fiv6#-Fiim6,FdpFinFevF
`sFdrF]tFfuF[dnFjtF^qC*>FenFejn>Fjr,&Fc^mFX*&Fh_nFXFifnF`uFX@$2FjrFdrF\[o>F`s,&
FdrF_[oFjrF_[o>F]tFibn>FenFb[o>FjtFe[o@%1FjtF[_lC&>FarFjan>Fen-Fhu6%FerFarF[dn>
87-F(6#-FinF]bn-Fiv6#-Fiim6,FdpFinFevF`sFjrF]tFarF[dnFjtFc^o-Fiv6#-Fiim6,FdpFin
FevFdrF`sFfuF]tF[dnF^qFjtF$F$F$F$