MVR4
I/evalf/INTERVAL:6"F$F$F$-%$mapG6$%&evalfG-%)INTERVALG6#9"F$F$F$,
I)allsolve:6$'%#eqG<$%)equationG%*algebraicG'%"rG/%%nameG;%)realconsGF:62%"xG%"
aG%"bG%#fnG%$fnpG%%fnppG%#faG%#fbG%"fG%#flG%"iG%"nG%#aiG%#biG%"cG%$resG6$%XMapl
e~Advisor~Database~1.00~for~Maple~V~Release~4~and~5G%hnCopyright~(c)~1997~by~Ro
bert~B.~Israel.~~All~rights~reserved.GF$C8>%'DigitsG,&FQ"""""&FS>8$-%#opG6$FS9%
>8%-F(6#-FX6$FS-FX6$""#FZ>8&-F(6#-FX6$F]oF[o@$2F_oFfn-%&ERRORG6$%2invalid~inter
val~G7$FfnF_o@%-%%typeG6$9$%"=G>8,,&-%$lhsG6#F_pFS-%$rhsGFfp!"">FbpF_p@$-%$hasG
6$Fbp<(%$absG%$maxG%$minG%*HeavisideG%*piecewiseG%'signumGC)>8--%(convertG6%Fbp
%'pwlistGFV@$-F]q6$FhqF_q-Fgo6#%Dcould~not~convert~to~piecewise~listG>8/,&-%%no
psG6#Fhq#FSF]oFirFS>FQ,&FQFS!"&FS>83%%NULLG?(8.FSFSFdr%%trueGC&@%/FasFS>80Ffn>F
gs-Faq6$Ffn-F(6$&Fhq6#,&FasF]o!"#FSFR@%/FasFdr>81F_o>Fdt-Fbq6$F_o-F(6$&Fhq6#,$F
asF]oFR@$2FdtFgs%%nextG>F^s6$F^s-FX6#-F-6$&Fhq6#,&FasF]oFipFS/FV;FgsFdt-%'RETUR
NG6#-%%sortG6#7#-FX6#<#F^s@$-F]q6$FZ%)infinityGC%>FQF[s@%/Ffn,$FhvFip@%/F_oFhvC
$>F^s-F&6$:6#%"tGF$F$F$@%/F_p""!F_s*$F_pFipF$F$<$-FX6#-F-6$-%%subsG6$/FV*$%"vGF
ipFbp/Fex;$FipFipFiw-FX6#-F-6$F`x/Fex;Fiw$FSFip>F^s<$-FX6#F^s-FX6#-F-6$Fbp/FV;!
#5"#5C%>82,&FjyFS-F`q6#F_oFip>F^s-F&6$:FewF$F$F$@%FhwF_sFjwF$F$<#-FX6#-F-6$F`x/
Fex;*$F^zFipFiw>F^s<$Fby-FX6#-F-6$Fbp/FV;F^zF_oC%>F^z,&F[zFS-F`q6#FfnFS>F^s-F&6
$:FewF$F$F$@%FhwF_sFjwF$F$<#-FX6#-F-6$F`x/Fex;FiwF^[l>F^s<$Fby-FX6#-F-6$Fbp/FV;
FfnF^z-F\v6#-F_v6#7#Fby>8'-%(unapplyG6$FbpFV>8*-%*traperrorG6#-F(6#-Ff]lF[\l@$/
F[^l%*lasterrorG>F[^l-F(6#-%&limitG6%Fbp/FVFfn%&rightG@$4-F]p6$F[^lF:-Fgo6$-%&L
imitGFj^l%Edoes~not~evaluate~to~a~real~constantG>8+-F]^l6#-F(6#-Ff]lFaz@$/Fg_lF
d^l>Fg_l-F(6#-Fi^l6%Fbp/FVF_o%%leftG@$4-F]p6$Fg_lF:Fa_l@%2F[^lFiwC'>F[^l,$F[^lF
ip>Fg_l,$Fg_lFip>Ff]l-Fh]l6$,$FbpFipFV>8(-Fh]l6$,$-%'normalG6#-%%diffGFi]lFipFV
>8)-Fh]l6$,$-F[bl6#-F^bl6$Fbp-%"$G6$FVF]oFipFVC$>Ffal-Fh]l6$FjalFV>F`bl-Fh]l6$F
dblFV>%.allsolve/eps1G*&-%&FloatG6$FS,&FTFSFQFipFS,&F`zFSFj[lFSFS@%-F]q6$7$F[^l
Fg_lFhv>%.allsolve/eps2GFecl>F_dl,$*&FeclFS,(-F`q6#F[^lFS-F`q6#Fg_lFS$FSF`tFSFS
Fir@%/F_oFfn>%.allsolve/eps3GFS>F\el*&F_dlFS,&F_oFSFfnFipFip>F^s<#-%2allsolve/a
llsolveG6)Ff]lFfalF`blFfnF_oF[^lFg_l>FQF[s-F_v6#7#-FX6#-F(FcyF$6%FcclF_dlF\elF$,
I2allsolve/allsolve:6)F?F@FAF=F>FBFC67%#frG%%fpp1G%%fpp2G%$fp1G%$fp2G%#f1G%#f2G
%"mG%#fmGFex%"wG%$fpaG%#m1G%$fm1G%$fbbG%%fppbG%$fpbG%#m2G%$fm2G%#g1G%"qGFLF$CM-
%)userinfoG6)""%F-%3Checking~interval~G;9'9(%+end~valuesG9)9*@$2,&F]hlFSF\hlFip
Fccl@%2-F`q6#,&F_hlFSF`hlFSF_dl-F\v6#,&F\hlFirF]hlFir-F\v6#F_s>88-F_p6#-F*6#F[h
l>FV-F]^l6#-F(6#--%(readlibG6#%&evalrG6#F_il@$/FVFd^l>FV-F]^l6#-F(6#-F]jl6#-F[b
lF^jl@$F`jlC$-%'assumeG6$1F\hlFas1FasF]hl@%-%'memberG6$-Feq6%Fiw-F_p6#FasFiw<$F
ipFSF\il>FV-F*6#;F]wFhv@'-F]p6$FV<$-%)specfuncG6$%&rangeGF*-%%listG6#Fd\mC$>F`b
l-FX6$FS-FX6$FSFV>F[^l-FX6$F]o-FX6$FipFV-F]p6$FVF:C$>F`blFV>F[^lFV-Fgo6$%0evalr
~returned~GFV@$-F]q6$F`blFhv>F`bl-Ffcl6$Fip,&FQFSF[zFS@$-F]q6$F[^lFhv>F[^l-Ffcl
6$FSFa^m@$5/-Feq6%FiwF`blFiwFS/-Feq6%FiwF[^lFiwFipF\il@$2,&-F`q6#F`blFSFddlFS,$
F_dlFhdl-F\vFail>F_il-FZFail>FV-F]^l6#-F(6#-F]jlF^jl@$F`jl>FVFbjl@$F`jlC%F[[m>F
_il-FZFg[m@'/-Feq6%FiwF_ilFSFS>FV-F*6#;FiwFhv/-Feq6%FiwF_ilFipFip>FV-F*6#;F]wFi
w>FVFj[m@'F^\mC$>Ff]lFj\m>FfalF_]mFc]mC$>Ff]lFV>FfalFVFh]m@$-F]q6$Ff]lFhv>Ff]lF
_^m@$-F]q6$FfalFhv>FfalFf^m@$1,$F\elFipFf]l@'1FfalF\el@%/F\hlFiwFf_mF\il/F_hlFi
w-F\v6#F\hlF\il@$Fhbm@%1F`hlFiw-F\v6#-%2allsolve/monotoneG6(F_pFZF\hlF]hlF_hlF`
hlF\il>F_il-9&Fail>FVFj_m@$F`jl>FVFbjl@$F`jlC%-F\[m6$2F\hlFas2FasF]hl>F_il-Fhcm
Fg[m@'Ff`m>FVFj`mF]am>FVFaam>FVFj[m@&F^\mC$>FfnFj\m>F_oF_]mFc]mC$>FfnFV>F_oFV@$
-F]q6$FfnFhv>FfnF_^m@$-F]q6$F_oFhv>F_oFf^m>Fdr-F]^l6#-F(6#-FZF]cm@$/FdrFd^l>Fdr
-F(6#-Fi^l6%-FZFhr/FhqF\hlF\_l@$4-F]p6$FdrF:-Fgo6$-Fd_lFcfmFe_l@%2FdrFiwC&@$1,&
FdrFS*&F_oFSFchlFSFSFiw@%F`cmFacmF\il>Fgs,&F\hlFS*&FdrFSF_oFipFip>Fdt-F(6#-F_p6
#Fgs@$1FdtFiw-F\v6$-Fdcm6(F_pFZF\hlFgsF_hlFdt-Fcel6),$F_pFip,$FZFip,$FhcmFipFgs
F]hl,$FdtFip,$F`hlFipC$>FgsF\hl>FdtF_hl>84-F]^l6#-F(6#-FZ6#F]hl@$/F^imFd^l>Fdr-
F(6#-Fi^l6%-FZ6#F</F<F]hlFe`l@%2F`hlFiwC%>F^zFihm>F^s,$FfnFip>F^im,$F^imFipC$>F
^zF`hl>F^sF_o@%2FiwF^imC&@$1Fiw,&F^imFS*&F^sFS,&FgsFSF]hlFipFSFS@'F`cm-F\v6#-Fd
cm6(F_pFZFgsF]hlFdtF`hl2FdtF_dl-F\vF\hmF\il>85,&F]hlFS*&F^imFSF^sFipFip>86-F(6#
-F_p6#Fj[n@$0-Feq6%FiwF^\nFiw-Feq6%FiwF`hlF]oC$@%1FiwF^\n>87-Fdcm6(F_pFZFj[nF]h
lF^\nF`hl>F]]n-Fdcm6(FehmFfhmFj[nF]hl,$F^\nFipFihm-F\v6$-Fcel6)F_pFZFhcmFgsFj[n
FdtF^\nF]]nC$>Fj[nF]hl>F^\nF`hl@&2,$*&F_dlFSFchlF`tFipFfn-F\v6#-%0allsolve/conv
exG6(F_pFZFgsFj[nFdtF^\n2F_oF^^n@%2FiwF^\n@%Fg[nFh[nF\il-F\v6#-%1allsolve/rever
seG6#7#-Fb^n6(-Fh]l6$,$-F_p6#,$FhqFipFipFhq-Fh]l6$-FZFd_nFhq,$Fj[nFip,$FgsFipFc
]nFhhm@$2F_dlFdtC%>Fdr-F(6#-FZF\hm@%1FiwFdr>Fgs,&FgsFS*&,&FdrFS-%%sqrtG6#,&*$Fd
rF]oFS*&FdtFSFfnFSF`tFSFSFfnFipFip>Fgs,&FgsFS*&FdtFS,&FdrFSFh`nFipFipF`t>FdtFig
m@%2F^\nFiwC%>F^zFc]n>F^s,$F_oFip>F^im,$-F(6#-FZFb\nFipC%>F^zF^\n>F^sFfn>F^imF[
bn@$2F_dlF^\nC$@%1F^imFiw>Fj[n,&Fj[nFS*&,&F^imFS-Fi`n6#,&*$F^imF]oFS*&F^zFSF^sF
SF`tFipFSF^sFipFip>Fj[n,&Fj[nFS*&F^zFS,&F^imFSF[cnFSFipF`t@$2Fj[nFgsF\il>Fg_l,&
FgsFirFj[nFir>Fbp-F(6#-F_pFgdl>F]]n-Fcel6)F_pFZFhcmFgsFg_lFdtFbp@%1FiwFbp6$F]]n
-Fcel6)F_pFZFhcmFg_lFj[nFbpF^\n6$F]]n-Fcel6)FehmFfhmFghmFg_lFj[nFdalFc]nF$F$F$,
I1allsolve/reverse:6#%"LG6#FGFLF$-%$seqG6$,$&F_p6#,&-FgrFfpFSFVFipFip/FV;Fiw,&F
cenFSFipFSF$F$F$,
I0allsolve/convex:6(F?F@F=F>FBFC6,F[glF`glFexFhflFifl%$fmpG%#apG%#bpG%$fapG%$fb
pGFLF$C8-Fggl6)FTF-Fjgl;FhcmF\hlF^hlF]hlF_hl>FV-F(6#-FZ6#Fhcm>FfnFjem@$2FfbmFV@
'2F_dlF]hlF\il2F_dlF_hl-F\vFhfn-F\v6#,&FhcmFirF\hlFir@$1F\hl,&FhcmFSFcclFS@%2-F
`q6#,&F]hlFSF_hlFSF_dlF`gnF\il@$1FfnF\el@%1F_hlFiw-F\v6#-Fdcm6(F_pFZFhcmF\hlF]h
lF_hlF\il@$2F_hlFiwC&@%2,&FVFSFfnFSFiw>Ff]l,&F\hlFS*(FfnFS,&F\hlFSFhcmFipFS,&Ff
nFSFVFipFipF`t>Ff]l*&,&*&F\hlFSF]hlFSFS*&FhcmFSF_hlFSFipFS,&F]hlFSF_hlFipFip>Ff
al-F(6#-F_p6#Ff]l@%1FiwFfalC)>F[^lFf]l>FbpFfal>Fg_lF\hl>FhqF_hl>Ff]l,&Ff]lFirF\
hlFir>FfalFein@%FjinC$>F[^lFf]l>FbpFfalC$>Fg_lFf]l>FhqFfalC(>F[^lFhcm>FbpF]hl>F
g_lFf]l>FhqFfal>F`bl-F(6#-FZFhin@$1FiwF`blC%>Ff]l,&FhcmFirFf]lFir>FfalFein@%Fji
nC$>F[^lFf]l>FbpFfalC$>Fg_lFf]l>FhqFfal-F\v6#-Fb^n6(F_pFZF[^lFg_lFbpFhq>F[^l,&F
hcmFS*&F]hlFSFVFipFip>Fg_l,&F\hlFS*&F_hlFSFfnFipFip@$2Fg_lF[^lF\il>Fbp-F(6#-F_p
Fedl@$2FbpFiwC$>F[^l,&F[^l$""*FipFhcmF_y>FbpF]]o>FhqFicn@$2FhqFiwC$>Fg_l,&Fg_lF
e]oF\hlF_y>FhqFicn>FV-F(6#-FZFedl>Ffn-F(6#-FZFgdl@$1FiwFV@%2FbpF_dl-F\vFedlF\il
@$1FfnFiw@%2FhqF_dl-F\vFgdlF\il>Ff]l*&,&*&F[^lFSFfnFSFS*&Fg_lFSFVFSFipFSF]inFip
@$51Ff]lF[^l1Fg_lFf]l>Ff]l,&F[^lFirFg_lFir>FfalFein@%2FfalFiw6$-Fb^n6(F_pFZF[^l
Ff]lFbpFfal-F[_n6#7#-Fb^n6(-Fh]l6$-F_p6#FhanF_o-Fh]l6$,$-FZFj`oFipF_oF`al,$Ff]l
FipFhqFfalC$>F`blF`[o@'32Fc_mF\el2-F`q6#FfalF_dlFf]l2FiwF`blF``o-Fb^n6(F_pFZFf]
lFg_lFfalFhqF$F$F$,
I2allsolve/monotone:Fien6*%"dG%$fpmGF\glF]glFaglFbglFhflFiflFLF$C+Fafn@$/F]hlF_
hlF`gn>F_oFhcm>Ff]lF]hl>FfalF\hl>F`blF_hl>FV,&FfalFSF_oFip?(F$FSFSF$332F_dlFf]l
2F`bl,$F_dlFip2FcclFVC*>F[^l*&,&*&Ff]lFSFfalFSFS*&F`blFSF_oFSFipFS,&Ff]lFSF`blF
ipFip@$32F_oF[^l2F[^lFfalC$>Fg_lF]]o@%2FiwFg_lC$>F_oF[^l>Ff]lFg_lC$>FfalF[^l>F`
blFg_l>Ffn-F(6#-FZFaz@$2FfnFiwC$>F[^l,&F_oFS*&Ff]lFSFfnFipFip@$FjcoC$>Fg_lF]]o@
%F^doC$>F_oF[^l>Ff]lFg_lC$>FfalF[^l>F`blFg_l>Ffn-F(6#-FZFgao@$FjdoC$>F[^l,&Ffal
FS*&F`blFSFfnFipFip@$FicoC$>Fg_lF]]o@%F^doC$>F_oF[^l>Ff]lFg_lC$>FfalF[^l>F`blFg
_l@$2FV,&FfalF]oF_oF`tC%>F[^l,&F_oFirFfalFir>Fg_lF]]o@%F^doC$>F_oF[^l>Ff]lFg_lC
$>FfalF[^l>F`blFg_l>FVFhbo@%2,$F`blFipFf]lFfalF_oF$F$F$