An Algorithm for Isolating the Real Solutions of Piecewise Algebraic Curves

<table class="table-group" id="tab1"><tr><td><table class="table"><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr class="thead"><td align="left">Cell</td><td align="center"><span style="width: 15.25px;"><svg height="16.3125" id="M232" style="vertical-align:-3.27605pt" version="1.1" viewbox="0 0 15.25 16.3125" width="15.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M494 514l-10 -15q-56 76 -106.5 117t-110.5 41q-45 0 -45 -30q0 -28 109 -152q59 -68 86 -118.5t27 -107.5q0 -62 -29.5 -119.5t-86.5 -96.5q-64 -45 -138 -45q-76 0 -121.5 53t-45.5 136q0 74 40.5 135t98.5 95q43 26 87 42q-40 59 -57.5 92t-17.5 62q0 46 39 77.5
t90 31.5q54 0 97.5 -35.5t65 -78.5t28.5 -84zM359 234q0 84 -90 191q-47 -17 -74 -47q-81 -89 -81 -200q0 -71 32.5 -109.5t72.5 -38.5q47 0 80 33t46.5 77.5t13.5 93.5z" id="x1D6FF"></path></g>
<g transform="matrix(.012,-0,0,-.012,8.85,16.25)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g>
</svg></span></td><td align="center"><span style="width: 15.25px;"><svg height="16.3125" id="M233" style="vertical-align:-3.27605pt" version="1.1" viewbox="0 0 15.25 16.3125" width="15.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M494 514l-10 -15q-56 76 -106.5 117t-110.5 41q-45 0 -45 -30q0 -28 109 -152q59 -68 86 -118.5t27 -107.5q0 -62 -29.5 -119.5t-86.5 -96.5q-64 -45 -138 -45q-76 0 -121.5 53t-45.5 136q0 74 40.5 135t98.5 95q43 26 87 42q-40 59 -57.5 92t-17.5 62q0 46 39 77.5
t90 31.5q54 0 97.5 -35.5t65 -78.5t28.5 -84zM359 234q0 84 -90 191q-47 -17 -74 -47q-81 -89 -81 -200q0 -71 32.5 -109.5t72.5 -38.5q47 0 80 33t46.5 77.5t13.5 93.5z" id="x1D6FF"></path></g>
<g transform="matrix(.012,-0,0,-.012,8.85,16.25)"><path d="M412 140l28 -9q0 -2 -35 -131h-373v23q112 112 161 170q59 70 92 127t33 115q0 63 -31 98t-86 35q-75 0 -137 -93l-22 20l57 81q55 59 135 59q69 0 118.5 -46.5t49.5 -122.5q0 -62 -29.5 -114t-102.5 -130l-141 -149h186q42 0 58.5 10.5t38.5 56.5z" id="x32"></path></g>
</svg></span></td><td align="center"><span style="width: 15.25px;"><svg height="16.450001" id="M234" style="vertical-align:-3.3907pt" version="1.1" viewbox="0 0 15.25 16.450001" width="15.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M494 514l-10 -15q-56 76 -106.5 117t-110.5 41q-45 0 -45 -30q0 -28 109 -152q59 -68 86 -118.5t27 -107.5q0 -62 -29.5 -119.5t-86.5 -96.5q-64 -45 -138 -45q-76 0 -121.5 53t-45.5 136q0 74 40.5 135t98.5 95q43 26 87 42q-40 59 -57.5 92t-17.5 62q0 46 39 77.5
t90 31.5q54 0 97.5 -35.5t65 -78.5t28.5 -84zM359 234q0 84 -90 191q-47 -17 -74 -47q-81 -89 -81 -200q0 -71 32.5 -109.5t72.5 -38.5q47 0 80 33t46.5 77.5t13.5 93.5z" id="x1D6FF"></path></g>
<g transform="matrix(.012,-0,0,-.012,8.85,16.25)"><path d="M285 378v-2q65 -13 102 -54.5t37 -97.5q0 -57 -30.5 -104.5t-74 -75t-85.5 -42t-72 -14.5q-31 0 -59.5 11t-40.5 23q-19 18 -16 36q1 16 23 33q13 10 24 0q58 -51 124 -51q55 0 88 40t33 112q0 64 -39 96.5t-88 32.5q-29 0 -64 -11l-6 29q77 25 118 57.5t41 84.5
q0 45 -26.5 69.5t-68.5 24.5q-67 0 -120 -79l-20 20l43 63q51 56 127 56h1q66 0 107 -37t41 -95q0 -42 -31 -71q-22 -23 -68 -54z" id="x33"></path></g>
</svg></span></td><td align="center"><span style="width: 15.25px;"><svg height="16.3125" id="M235" style="vertical-align:-3.27605pt" version="1.1" viewbox="0 0 15.25 16.3125" width="15.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M494 514l-10 -15q-56 76 -106.5 117t-110.5 41q-45 0 -45 -30q0 -28 109 -152q59 -68 86 -118.5t27 -107.5q0 -62 -29.5 -119.5t-86.5 -96.5q-64 -45 -138 -45q-76 0 -121.5 53t-45.5 136q0 74 40.5 135t98.5 95q43 26 87 42q-40 59 -57.5 92t-17.5 62q0 46 39 77.5
t90 31.5q54 0 97.5 -35.5t65 -78.5t28.5 -84zM359 234q0 84 -90 191q-47 -17 -74 -47q-81 -89 -81 -200q0 -71 32.5 -109.5t72.5 -38.5q47 0 80 33t46.5 77.5t13.5 93.5z" id="x1D6FF"></path></g>
<g transform="matrix(.012,-0,0,-.012,8.85,16.25)"><path d="M456 178h-96v-72q0 -51 12.5 -62.5t72.5 -16.5v-27h-256v27q65 5 78 17t13 62v72h-260v28q182 271 300 426h40v-407h96v-47zM280 225v295h-2q-107 -148 -196 -295h198z" id="x34"></path></g>
</svg></span></td></tr><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr><td align="left"> Number of partition</td><td align="center"> 2</td><td align="center"> 0</td><td align="center"> 0</td><td align="center">1</td></tr><tr><td align="left"> Calculation for rotation degree</td><td align="center">
										9
									</td><td align="center"> 1</td><td align="center"> 1</td><td align="center"> 4</td></tr><tr><td align="left"> Calculation for <svg height="15.0875" id="M236" style="vertical-align:-2.3205pt" version="1.1" viewbox="0 0 38.537498 15.0875" width="38.537498" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M764 650l-7 -26q-61 -10 -91.5 -22.5t-76.5 -48.5l-235 -184q104 -152 208 -276q31 -37 54.5 -48.5t68.5 -16.5l-7 -28h-156q-138 170 -213 284q-19 29 -33.5 35t-33.5 -7l-29 -173q-15 -75 -5.5 -90.5t74.5 -20.5l-5 -28h-260l7 28q58 5 74 21.5t30 89.5l70 378
q12 68 2 83t-72 22l6 28h257l-7 -28q-62 -7 -76 -21.5t-27 -83.5l-32 -172q29 11 78 46q112 84 217 179q18 16 23.5 25.5t-1 14.5t-26.5 8l-30 4l5 28h249z" id="x1D43E"></path></g><g transform="matrix(.017,-0,0,-.017,13.254,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,19.135,12.138)"><path d="M775 650l-6 -28q-60 -6 -81.5 -16t-61.5 -54l-175 -191l125 -243q30 -58 48.5 -71t82.5 -19l-5 -28h-275l7 28l35 4q31 4 37 12t-6 34l-108 216q-140 -165 -177 -219q-16 -22 -10.5 -30.5t41.5 -13.5l22 -3l-7 -28h-244l8 28q52 4 75 15.5t67 52.5q48 46 206 231
l-110 215q-26 51 -44 63t-72 17l6 28h250l-6 -28l-27 -4q-30 -5 -35 -10t3 -27q17 -43 95 -190q70 78 154 185q15 21 10 29.5t-33 12.5l-30 4l5 28h236z" id="x1D44B"></path></g><g transform="matrix(.017,-0,0,-.017,32.598,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg></td><td align="center"> 2</td><td align="center"> 0</td><td align="center"> 0</td><td align="center"> 1</td></tr><tr class="table-tr"><td colspan="5"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Computational complexity for isolating the real solutions.

Journal of Applied Mathematics

tab1

Table 1

Table 1: An Algorithm for Isolating the Real Solutions of Piecewise Algebraic Curves 