MVR4
I/evalf/INTERVAL:6"F$F$F$-%$mapG6$%&evalfG-%)INTERVALG6#9"F$F$F$,
I%gmin:6&'%"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<$F[oFdoC$>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$,
I%gmax:6#F1F$FQF$,$-F-6$,$FdpF`u&F,6#;FboFcvF`uF$F$F$,
I.gmin/infinite:6%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$:6#%"
tGF$F$F$@%/FdpF[_lFdal*$FdpF`uF$F$F]]l>Far-F-6&F_el/Ffu;F[_l$FXF`uFdr-Fhp6$Fg\l
F^x>Fdr-F&6$:F[flF$F$F$@%F^flFbrF_flF$F$Fdr>Fiw-Fhu6%FdrFar-Fgn6#-Fhu6&F]]lFg\l
F^xF\zC'>F^q,&FjdlFXFi`lF`u>Fg\l-F-6%F_el/Ffu;*$F^qF`uF[_lF]]l>F]]l-F&6$:F[flF$
F$F$@%F^flFdalF_flF$F$F]]l>F^x-F-6&Fdp/Fen;F^qFdoF\zFg\l>FiwFbglC'>F^q,&F[elFXF
j`lFX>Fg\l-F-6%F_el/Ffu;F[_lF\hlF]]l>F]]l-F&6$:F[flF$F$F$@%F^flFbrF_flF$F$F]]l>
F^x-F-6&Fdp/Fen;F[oF^qF\zFg\l>FiwFbgl>Fev&FiwF_v&FiwF\vF$F$F$,
I,gmin/newmin:6&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$,
I*gmin/gmin:6+FAFBFCF?F@FDFEFFFG65FNFO%#frG%#f1G%#f2G%$fp1G%$fp2G%$fa1G%$fb1GFh
cl%#fcG%%fpp1G%%fpp2G%#a1GFacl%$fpaG%$fpbG%"qG%"wGFQF$CF-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>Fjt-F`x6#F_jm@$/FjtFhx>Fjt-F(6#-F]y6%Fg[n/F>Fc^mF[[l@%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`uF`u@$32F]tF[_l0
FjqFbr>Fjr-Fgp6$Fjr,&Fa`lFX*(F]tFXFjqF`u,&FXFXFi[lF`uFXF`u@%0F^xFbr>F`s,&Fc^mFX
*&,&F^_mFXFf^mF`uFXF^xF`uFX>F`sFc^m@$F]]n>F`s-Fhp6$F`s,&Fc^mFX*&,&FjtFX-Fe]n6#,
&*$FjtFboFX*&F^qFX,&Ff^mFXF^_mF`uFXFisF`uFXF^qF`uF`u@$32F[_lFjtF^^n>F`s-Fhp6$F`
s,&Fc^mFX*(FjtFXFjqF`uFd^nFXF`u@&2F`s,&FjrFXFf`lF`uFiam2F`sFjrC%>Fjr,&FjrF_rF`s
F_r@%/FjrFa`l>F\zFe^m>F\z-F(6#-Fdp6#Fjr-Fiv6#-Fhu6&FjrF\zF^_mF__m@%Fi`n>F\zFe^m
>F\zF\an@%/F`sFc^m>FarFf^m>Far-F(6#-Fdp6#F`s>Fen-Fhu6%FerFar-Fgn6#-Fhu6&FerF\zF
^_mF__m@%2,&F`sFboFjrFisFi^m-Fiv6#-Fial6*FdpFinFevFjrF`sF\zFar-Fgn6#FenC&>FdrFg
`n>Ffu-F(6#-FdpFgv>Fen-Fhu6%FerFfuF]cn@%2F\zFarC$>Fen-Fial6*FdpFinFevFjrFdrF\zF
fuF]cn-Fiv6#-Fial6*FdpFinFevFdrF`sFfuFarF]cnC$>FenF`dn-Fiv6#F\dnF$F$F$,
I,gmin/convex:6-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_m1F[fnF^al@'2FhenFhgmF\hm2F^_mFf^mFia
mF]fn@%1F[_l,&FhenFXF[fnFXC$>F`sFa`l>FjtFhenC$>F`sFc^m>FjtF[fn>Fdu-F(6#-FevF^bn
@%2F[_lFduC$>Fdr,&F`sFX*&FjtFXFduF`uF`u@$52FdrFa`l2Fc^mFdr>Fdr*&,&*&F[fnFXFa`lF
XFX*&FhenFXFc^mFXF`uFX,&F[fnFXFhenF`uF`u>FdrFbhn>FfuFbcn>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
*&Fj\nFXFhenF`uFX@$2FdrFjq-Fiv6#F]cn>F`s,&Fjq$FYF`uFdrFbjn>F]tF[bn>Fen-Fhu6%Fer
F]tF]cn>Fjt-F(6#-FinF^bn@%1F[_lFjtC&>F\z-F(6#-Fdp6#Fjq>Fen-Fhu6%FerF\zF]cn>F__l
-F(6#-FinFb[o-Fiv6#-Fiim6,FdpFinFevFjqF`sF\zF]tF]cnF__lFjt-Fiv6#-Fiim6,FdpFinFe
vF`sFdrF]tFfuF]cnFjtF^qC*>FenFgin>Fjr,&Fc^mFX*&Fj^nFXF[fnF`uFX@$2FjrFdrF^jn>F`s
,&FdrFbjnFjrFbjn>F]tF[bn>FenFejn>FjtFhjn@%1FjtF[_lC&>FarF\an>Fen-Fhu6%FerFarF]c
n>87-F(6#-FinF_an-Fiv6#-Fiim6,FdpFinFevF`sFjrF]tFarF]cnFjtFf]o-Fiv6#-Fiim6,FdpF
inFevFdrF`sFfuF]tF]cnF^qFjtF$F$F$
