/usr/lib/ada/adalib/gnatvsn/urealp.ali is in libgnatvsn4.6-dev 4.6.4-0ubuntu5.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 | V "GNAT Lib v4.6"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
R nnnnnnnnnnvnnnnnnnnnnvnnvnvnnnnnnnnnnnnnnnnnvnnnnnnnnnnnnnvnnvnvvnnnnnnnnnnnnnnn
U urealp%b urealp.adb 06dbe7dc OO PK
W ada.exceptions%s a-except.adb a-except.ali
W alloc%s alloc.ads alloc.ali
W output%s output.adb output.ali AD
W system%s system.ads system.ali
W table%s table.adb table.ali AD
W tree_io%s tree_io.adb tree_io.ali
U urealp%s urealp.ads 23749ef1 BN EE NE OO PK
W types%s types.adb types.ali
W uintp%s uintp.adb uintp.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20090727140100 0c711ac9
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D alloc.ads 20100614130107 cfcad562
D debug.ads 20090420131856 3ea59655
D hostparm.ads 20090409150019 597373af
D opt.ads 20101026132047 ed841f4a
D output.ads 20100622132632 de75f4b4
D system.ads 20140416172229 23e1f70b
D s-exctab.ads 20090417131547 66e51330
D s-memory.ads 20090417131547 ca8bbc15
D s-os_lib.ads 20100910151410 e0681e2d
D s-parame.ads 20091130110856 9c5d83fa
D s-stalib.ads 20101021102512 c4241c00
D s-string.ads 20090417130712 46b01415
D s-traent.ads 20090417130712 5221ee41
D s-unstyp.ads 20090409150019 6ae15c76
D s-wchcon.ads 20090417130712 bfeb2e3d
D table.ads 20090506081141 e3a9ec16
D table.adb 20090506081141 5992476d
D tree_io.ads 20100622132632 d9afd67c
D types.ads 20101022135849 e11694ea
D uintp.ads 20101021101958 2762e44a
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
D urealp.ads 20100910110137 e500ee51
D urealp.adb 20101021102512 c8621231
X 5 alloc.ads
42K9*Alloc 160e10 28|32w6 76r30 77r30
145N4*Ureals_Initial 28|76r36
146N4*Ureals_Increment 28|77r36
X 9 output.ads
44K9*Output 222e11 28|33w6 33r19
106U14*Write_Char 28|1312s10 1336s13 1342s13 1352s13 1406s13 1411s13 1416s13
. 1427s13 1428s13 1431s16 1436s13 1459s13 1466s13 1475s16 1480s13 1495s13
. 1504s13
113U14*Write_Eol 28|410s7
123U14*Write_Int 28|1444s10 1467s13
130U14*Write_Str 28|1318s10 1325s10 1365s13 1387s13 1398s13 1399s13 1433s16
. 1445s10 1463s10 1468s13 1473s16 1489s10 1499s10 1501s10
X 20 table.ads
43K9*Table 238e10 28|34w6 72r26
47+12 Table_Component_Type 28|73r6
48I12 Table_Index_Type 28|74r6
50*7 Table_Low_Bound{48I12} 28|75r6
51i7 Table_Initial{23|65I12} 28|76r6
52i7 Table_Increment{23|62I12} 28|77r6
53s7 Table_Name{string} 28|78r6
55k12*Table 237e13 28|72r32
106A12*Table_Type(28|43R9)<27|77I9>
109A15*Big_Table_Type{106A12[28|72]}<27|77I9>
117P12*Table_Ptr(109A15[28|72])
121p7*Table{117P12[28|72]} 28|159r44[72] 198r44[72] 238r21[72] 321r48[72]
. 335r48[72] 400r21[72] 419r21[72] 451r17[72] 452r17[72] 518r44[72] 543r36[72]
. 544r36[72] 636r55[72] 660r45[72] 661r45[72] 809r21[72] 871r55[72] 933r21[72]
. 942r25[72] 943r25[72] 952r21[72] 981r24[72] 985r20[72] 986r29[72] 990r24[72]
. 991r25[72] 1017r28[72] 1018r28[72] 1090r45[72] 1091r45[72] 1210r64[72]
. 1211r64[72] 1243r37[72] 1244r37[72] 1245r37[72] 1246r41[72] 1273r55[72]
. 1291r55[72] 1305r44[72]
138U17*Init 28|278s14[72]
145V16*Last{27|77I9} 28|310s32[72] 451s31[72] 452s31[72] 455s21[72]
165U17*Set_Last 28|428s14[72]
182U17*Append 28|446s14[72]
213U17*Tree_Write 28|500s14[72]
216U17*Tree_Read 28|475s14[72]
X 22 tree_io.ads
45K9*Tree_IO 114e12 28|35w6 35r19
77U14*Tree_Read_Int 28|476s7 477s7 478s7 479s7 480s7 481s7 482s7 483s7 484s7
. 485s7
104U14*Tree_Write_Int 28|501s7 502s7 503s7 504s7 505s7 506s7 507s7 508s7
. 509s7 510s7
X 23 types.ads
52K9*Types 823e10 27|34w6 34r17
59I9*Int<integer> 27|345r22 350r26 28|115r52 121r52 127r66 158r52 197r52
. 245r66 269r14 437r14 437r25 476r22 477r22 478r22 479r22 480r22 481r22 482r22
. 483r22 484r22 485r22 501r23 502r23 503r23 504r23 505r23 506r23 507r23 508r23
. 509r23 510r23 1407r23 1437r23
62I12*Nat{59I9} 27|148r41 197r18 28|50r15 249r30 417r41 887r18
65I12*Pos{59I9}
327N4*Ureal_Low_Bound 27|345r32
330N4*Ureal_High_Bound 27|345r51
X 24 uintp.ads
42K9*Uintp 540e10 27|35w6 35r17 28|351r22 351r41 384r7 1010r31 1208r31
48I9*Uint 27|151r47 154r45 157r44 160r44 163r32 166r46 171r44 174r46 177r44
. 195r18 196r18 205r43 206r28 210r28 211r43 215r28 216r43 220r28 221r43 224r49
. 289r25 290r40 293r25 294r40 297r25 298r40 301r25 302r40 304r39 28|44r14
. 47r13 133r36 236r47 299r36 317r44 331r44 346r13 347r13 348r13 349r13 350r13
. 398r45 532r28 537r43 545r14 555r34 635r46 649r28 654r43 716r27 746r24 790r48
. 791r23 795r14 870r44 885r18 886r18 903r32 1079r28 1084r43 1092r14 1093r14
. 1253r28 1258r43 1272r46 1274r13 1290r44 1306r13
54i4*Uint_0{48I9} 28|279r41 280r41 583r39 615r39 665r34 1026r31 1029r31
55i4*Uint_1{48I9} 28|279r49 280r49 281r41 281r49 282r41 282r49 283r41 283r49
. 284r41 285r41 286r41 287r41 288r41 289r41 290r41 291r41 292r41 365r15 584r39
. 616r39 820r33 906r25 1158r17
56i4*Uint_2{48I9} 28|1364r34
75i4*Uint_80{48I9} 28|292r49
76i4*Uint_128{48I9} 28|290r49
78i4*Uint_Minus_1{48I9} 28|284r49 285r49
79i4*Uint_Minus_2{48I9} 28|288r49
88i4*Uint_Minus_36{48I9} 28|286r49 287r49
90i4*Uint_Minus_80{48I9} 28|291r49
91i4*Uint_Minus_128{48I9} 28|289r49
121V13*UI_Decimal_Digits_Hi{23|62I12} 28|177s17 188s17 217s17
128V13*UI_Decimal_Digits_Lo{23|62I12} 28|178s17 216s17 227s17
153V13*UI_GCD{48I9} 28|381s12
210V13*UI_Negate{48I9} 28|639s17 874s17 1280s17
242V13*UI_To_Int{23|59I9} 28|269s31 822s33
250V13*Num_Bits{23|62I12} 28|1377s18
259n23*Hex{259E9} 28|1395r32
259n28*Decimal{259E9} 28|1324r29 1335r31 1337r33 1341r32 1343r39 1346r36
. 1351r33 1353r41 1356r42 1359r39 1364r57 1386r56 1407r56 1410r37 1412r39
. 1415r38 1417r44 1418r39 1426r32 1437r60 1462r29 1471r36 1474r35 1488r39
. 1498r29 1500r29
265a4*UI_Image_Buffer{string} 28|1377r39 1399r24 1427r25 1433r27
266i4*UI_Image_Length{natural} 28|1399r46 1403m13 1403r32 1404m13 1404r32
. 1404r50 1407r28 1430r16 1433r49 1437r28
269U14*UI_Image 28|1395s13 1426s13
279U14*UI_Write 28|1324s10 1335s13 1337s13 1341s13 1343s13 1346s16 1351s13
. 1353s13 1356s16 1359s19 1364s13 1386s13 1407s13 1410s13 1412s13 1415s13
. 1417s13 1418s13 1437s13 1446s10 1462s10 1471s16 1474s16 1488s10 1498s10
. 1500s10
301V13*"+"=301:65{48I9} 28|579s63 611s38 641s26 874s37 1130s42 1277s23
305V13*"/"=305:65{48I9} 28|301s19 382s18 383s18 639s36 641s41 677s45 702s45
. 709s46 720s36 723s35 737s46 874s52 876s25 1107s40 1137s40 1277s40 1294s27
. 1296s25 1488s28
307V13*"/"=307:65{48I9} 28|1277s34 1335s25 1341s25 1343s33 1351s25 1353s34
. 1356s36 1410s31 1415s31 1417s31
309V13*"*"=309:65{48I9} 28|301s26 364s23 579s27 611s28 611s48 623s46 670s45
. 671s45 675s47 677s57 685s62 686s45 693s45 694s45 709s58 720s48 724s51 737s58
. 750s32 754s32 759s30 761s30 765s27 849s44 1037s36 1037s60 1039s36 1039s60
. 1092s47 1101s45 1114s40 1122s45 1144s40 1152s45 1161s24 1163s24 1167s24
. 1169s24 1364s31 1386s31
311V13*"*"=311:65{48I9} 28|1334s26 1340s26 1350s26
313V13*"-"=313:65{48I9} 28|579s52 703s45 1025s40 1028s40
314V13*"-"=314:65{48I9} 28|1407s45 1437s49
315V13*"-"=315:65{48I9} 28|641s36 874s47
317V13*"**"=317:67{48I9} 28|835s41 836s41 848s44 858s44 859s44 1364s41
319V13*"**"=319:67{48I9} 28|364s35 369s25 579s40 685s47 693s58 720s62 721s37
. 724s38 725s38 738s48 750s46 754s46 759s44 761s44 1114s54 1122s59 1144s54
. 1152s59 1161s38 1163s38 1167s38 1169s38 1386s42
322V13*"abs"=322:53{48I9} 28|590s39 622s39 791s31 906s17
324V13*"mod"=324:67{48I9} 28|1487s21
326V13*"mod"=326:67{48I9} 28|802s20 1337s25 1343s25 1345s18 1346s28 1353s25
. 1355s18 1356s28 1358s21 1359s31 1412s31 1417s36 1418s31
332V13*"-"=332:53{48I9} 28|364s39 452s44 559s29 563s29 604s27 608s27 678s37
. 685s51 720s66 721s41 725s42 750s50 759s48 821s33 1114s58 1144s58 1161s42
. 1167s42 1260s35 1294s17 1364s45 1386s45 1446s20 1471s26
334V13*"="=334:70{boolean} 28|301s32 665s31 1226s38 1227s38
336V13*"="=336:70{boolean} 28|581s20 613s20 802s27 831s33 943s42 952s38 1317s18
. 1323s21 1333s21 1339s24 1345s25 1349s24 1355s26 1358s28 1379s33 1384s56
. 1409s24 1414s24 1443s45 1465s21 1487s33
340V13*">="=340:70{boolean} 28|1331s26
342V13*">"=342:70{boolean} 28|375s12 1037s48
344V13*">"=344:70{boolean} 28|1383s67
348V13*"<="=348:70{boolean} 28|816s15 1330s26 1470s24
350V13*"<"=350:70{boolean} 28|566s25 1024s28 1039s48
352V13*"<"=352:70{boolean} 28|363s21 450s18 593s44 625s44 682s25 714s25 719s28
. 749s25 758s28 830s15 906s49 1112s25 1142s25 1160s22 1166s22 1383s46
364R9*Save_Mark 479e14 28|351r28 1010r37 1208r37
366V13*Mark{364R9} 28|351s47 1010s51 1208s51
369U14*Release 28|1042s13 1228s16
378U14*Release_And_Save 28|384s13
X 27 urealp.ads
37K9*Urealp 368l5 368e11 28|37b14 1011r31 1209r31 1635l5 1635t11
77I9*Ureal 80r24 87r28 90r30 93r32 96r31 99r28 102r28 105r29 108r30 111r31
. 114r33 117r32 120r34 123r32 126r34 148r27 151r33 154r31 157r30 160r30 163r45
. 166r32 171r30 174r32 177r30 199r18 204r28 204r43 204r57 205r28 205r57 206r43
. 206r57 209r28 209r43 209r57 210r43 210r57 211r28 211r57 214r28 214r43 214r57
. 215r43 215r57 216r28 216r57 219r28 219r43 219r57 220r43 220r57 221r28 221r57
. 224r38 224r63 228r28 228r42 231r31 231r45 234r34 237r35 237r49 240r35 240r49
. 243r34 246r34 249r34 252r34 255r34 258r32 261r36 264r36 267r31 279r25 288r25
. 288r40 288r54 289r40 289r54 290r25 290r54 292r25 292r40 292r54 293r40 293r54
. 294r25 294r54 296r25 296r40 296r54 297r40 297r54 298r25 298r54 300r25 300r40
. 300r54 301r40 301r54 302r25 302r54 304r28 304r52 307r27 307r41 309r27 309r41
. 311r34 313r34 315r34 317r34 319r34 345c9 346r8 348r24 348r33 28|39r33 39r42
. 74r30 83r17 84r17 85r17 86r17 87r17 88r17 89r17 90r17 91r17 92r17 93r17
. 94r17 95r17 96r17 102r22 115r38 121r38 140r28 146r52 150r63 158r38 197r38
. 236r33 317r30 331r30 398r31 407r25 417r27 428r24 435r28 444r52 462r63 517r28
. 517r42 532r42 532r56 537r28 537r56 542r28 542r43 542r57 635r32 649r42 649r56
. 654r28 654r56 659r35 659r49 781r34 790r37 790r61 792r14 870r30 889r18 903r45
. 913r34 922r34 931r36 940r36 950r32 959r34 968r34 1053r35 1053r49 1066r35
. 1066r49 1079r42 1079r56 1084r28 1084r56 1089r35 1089r49 1184r34 1240r31
. 1240r45 1253r42 1253r56 1258r28 1258r56 1263r35 1263r49 1272r32 1290r30
. 1304r31 1513r28 1522r28 1531r28 1540r29 1549r30 1558r32 1567r31 1576r32
. 1585r33 1594r34 1603r31 1612r30 1621r34 1630r32
80i4*No_Ureal{77I9} 348c4 28|39r54 102r31 489r26 1194r25 1194r56
87V13*Ureal_0{77I9} 359r19 28|1513b13 1516l8 1516t15
90V13*Ureal_M_0{77I9} 360r19 28|1612b13 1615l8 1615t17
93V13*Ureal_Tenth{77I9} 361r19 28|1630b13 1633l8 1633t19
96V13*Ureal_Half{77I9} 362r19 28|1603b13 1606l8 1606t18
99V13*Ureal_1{77I9} 363r19 28|1522b13 1525l8 1525t15
102V13*Ureal_2{77I9} 364r19 28|1531b13 1534l8 1534t15
105V13*Ureal_10{77I9} 365r19 28|1540b13 1543l8 1543t16
108V13*Ureal_100{77I9} 28|1549b13 1552l8 1552t17
111V13*Ureal_2_80{77I9} 28|1567b13 1570l8 1570t18
114V13*Ureal_2_M_80{77I9} 28|1585b13 1588l8 1588t20
117V13*Ureal_2_128{77I9} 28|1576b13 1579l8 1579t19
120V13*Ureal_2_M_128{77I9} 28|1594b13 1597l8 1597t21
123V13*Ureal_10_36{77I9} 28|1558b13 1561l8 1561t19
126V13*Ureal_M_10_36{77I9} 28|1621b13 1624l8 1624t21
133U14*Initialize 28|276b14 293l8 293t18
139U14*Tree_Read 28|471b14 490l8 490t17
144U14*Tree_Write 28|496b14 511l8 511t18
148V13*Rbase{23|62I12} 148>20 357r19 28|417b13 420l8 420t13
148i20 Real{77I9} 28|417b20 419r28
151V13*Denominator{24|48I9} 151>26 352r19 28|236b13 239l8 239t19
151i26 Real{77I9} 28|236b26 238r28
154V13*Numerator{24|48I9} 154>24 356r19 28|398b13 401l8 401t17
154i24 Real{77I9} 28|398b24 400r28
157V13*Norm_Den{24|48I9} 157>23 355r19 28|317b13 325l8 325t16
157i23 Real{77I9} 28|317b23 319r20 320r30 321r55
160V13*Norm_Num{24|48I9} 160>23 354r19 28|331b13 339l8 339t16
160i23 Real{77I9} 28|331b23 333r20 334r30 335r55
163V13*UR_From_Uint{77I9} 163>27 28|534s14 539s21 651s14 656s21 817s18 903b13
. 907l8 907t20 1081s14 1086s21 1255s14 1260s21
163i27 UI{24|48I9} 28|903b27 906r21 906r46
166V13*UR_To_Uint{24|48I9} 166>25 28|1272b13 1284l8 1284t18
166i25 Real{77I9} 28|1272b25 1273r62
171V13*UR_Trunc{24|48I9} 171>23 28|814s15 822s44 1290b13 1298l8 1298t16
171i23 Real{77I9} 28|1290b23 1291r62
174V13*UR_Ceiling{24|48I9} 174>25 28|635b13 643l8 643t18
174i25 Real{77I9} 28|635b25 636r62
177V13*UR_Floor{24|48I9} 177>23 28|870b13 878l8 878t16
177i23 Real{77I9} 28|870b23 871r62
194V13*UR_From_Components{77I9} 195>7 196>7 197>7 198>7 366r19 28|279s21
. 280s21 281s21 282s21 283s21 284s21 285s21 286s21 287s21 288s21 289s21 290s21
. 291s21 292s21 884b13 897l8 897t26 905s14
195i7 Num{24|48I9} 28|885b7 893r30
196i7 Den{24|48I9} 28|886b7 894r30
197i7 Rbase{23|62I12} 28|887b7 895r30
198b7 Negative{boolean} 28|888b7 896r30 906r33
204V13*UR_Add{77I9} 204>21 204>35 288r68 28|542b13 629l8 629t14
204i21 Left{77I9} 28|542b21 543r43
204i35 Right{77I9} 28|542b35 544r43
205V13*UR_Add{77I9} 205>21 205>35 290r68 28|537b13 540l8 540t14
205i21 Left{77I9} 28|537b21 539r14
205i35 Right{24|48I9} 28|537b35 539r35
206V13*UR_Add{77I9} 206>21 206>35 289r68 28|532b13 535l8 535t14
206i21 Left{24|48I9} 28|532b21 534r28
206i35 Right{77I9} 28|532b34 534r36
209V13*UR_Div{77I9} 209>21 209>35 292r68 28|659b13 775l8 775t14
209i21 Left{77I9} 28|659b21 660r52
209i35 Right{77I9} 28|659b27 661r52
210V13*UR_Div{77I9} 210>21 210>35 293r68 28|649b13 652l8 652t14
210i21 Left{24|48I9} 28|649b21 651r28
210i35 Right{77I9} 28|649b34 651r36
211V13*UR_Div{77I9} 211>21 211>35 294r68 28|654b13 657l8 657t14
211i21 Left{77I9} 28|654b21 656r14
211i35 Right{24|48I9} 28|654b35 656r35
214V13*UR_Mul{77I9} 214>21 214>35 296r68 28|1089b13 1178l8 1178t14
214i21 Left{77I9} 28|1089b21 1090r52
214i35 Right{77I9} 28|1089b27 1091r52
215V13*UR_Mul{77I9} 215>21 215>35 297r68 28|1079b13 1082l8 1082t14
215i21 Left{24|48I9} 28|1079b21 1081r28
215i35 Right{77I9} 28|1079b34 1081r36
216V13*UR_Mul{77I9} 216>21 216>35 298r68 28|1084b13 1087l8 1087t14
216i21 Left{77I9} 28|1084b21 1086r14
216i35 Right{24|48I9} 28|1084b35 1086r35
219V13*UR_Sub{77I9} 219>21 219>35 300r68 28|1263b13 1266l8 1266t14
219i21 Left{77I9} 28|1263b21 1265r14
219i35 Right{77I9} 28|1263b27 1265r32
220V13*UR_Sub{77I9} 220>21 220>35 301r68 28|1253b13 1256l8 1256t14
220i21 Left{24|48I9} 28|1253b21 1255r28
220i35 Right{77I9} 28|1253b34 1255r47
221V13*UR_Sub{77I9} 221>21 221>35 302r68 28|1258b13 1261l8 1261t14
221i21 Left{77I9} 28|1258b21 1260r14
221i35 Right{24|48I9} 28|1258b35 1260r36
224V13*UR_Exponentiate{77I9} 224>30 224>45 305r62 28|790b13 864l8 864t23
224i30 Real{77I9} 28|790b30 801r26 803r28 806r17
224i45 N{24|48I9} 28|790b44 791r35 802r18 821r34 830r13
228V13*UR_Abs{77I9} 228>21 307r55 28|517b13 526l8 526t14
228i21 Real{77I9} 28|517b21 518r51
231V13*UR_Negate{77I9} 231>24 309r55 28|803s17 1240b13 1247l8 1247t17 1255s36
. 1265s21
231i24 Real{77I9} 28|1240b24 1243r44 1244r44 1245r44 1246r48
234V13*UR_Eq{boolean} 234>20 234>26 311r64 28|781b13 784l8 784t13
234i20 Left{77I9} 28|781b20 783r25
234i26 Right{77I9} 28|781b26 783r31
237V13*UR_Max{77I9} 237>21 237>27 28|1053b13 1060l8 1060t14
237i21 Left{77I9} 28|1053b21 1055r10 1056r17
237i27 Right{77I9} 28|1053b27 1055r18 1058r17
240V13*UR_Min{77I9} 240>21 240>27 28|1066b13 1073l8 1073t14
240i21 Left{77I9} 28|1066b21 1068r10 1069r17
240i27 Right{77I9} 28|1066b27 1068r18 1071r17
243V13*UR_Ne{boolean} 243>20 243>26 28|783s18 1184b13 1234l8 1234t13
243i20 Left{77I9} 28|1184b20 1189r16 1194r19 1199r34 1200r34 1210r71 1215r28
. 1219r39
243i26 Right{77I9} 28|1184b26 1189r22 1194r49 1199r63 1200r63 1211r71 1216r39
. 1218r31
246V13*UR_Lt{boolean} 246>20 246>26 313r64 28|968b13 1047l8 1047t13
246i20 Left{77I9} 28|968b20 972r16 977r25 981r31 985r27 990r31 999r34 1000r33
. 1002r34 1003r33 1017r35
246i26 Right{77I9} 28|968b26 972r22 978r33 980r25 986r36 991r32 999r63 1002r63
. 1018r35
249V13*UR_Le{boolean} 249>20 249>26 315r64 28|959b13 962l8 962t13
249i20 Left{77I9} 28|959b20 961r27
249i26 Right{77I9} 28|959b26 961r19
252V13*UR_Gt{boolean} 252>20 252>26 319r64 28|922b13 925l8 925t13
252i20 Left{77I9} 28|922b20 924r23
252i26 Right{77I9} 28|922b26 924r15
255V13*UR_Ge{boolean} 255>20 255>26 317r64 28|913b13 916l8 916t13
255i20 Left{77I9} 28|913b20 915r19
255i26 Right{77I9} 28|913b26 915r26
258V13*UR_Is_Zero{boolean} 258>25 28|164s10 203s10 950b13 953l8 953t18 977s13
. 980s13 1215s16 1216s27 1218s19 1219s27
258i25 Real{77I9} 28|950b25 952r28
261V13*UR_Is_Negative{boolean} 261>29 28|801s10 931b13 934l8 934t22 1003s17
261i29 Real{77I9} 28|931b29 933r28
264V13*UR_Is_Positive{boolean} 264>29 28|940b13 944l8 944t22 978s17 1000s17
264i29 Real{77I9} 28|940b29 942r32 943r32
267U14*UR_Write 267>24 267>38 28|409s7 1304b14 1507l8 1507t16
267i24 Real{77I9} 28|1304b24 1305r51
267b38 Brackets{boolean} 28|1304b38 1458r13 1479r13 1494r13 1503r13
279U14*pr 279>18 280r24 28|407b14 411l8 411t10
279i18 Real{77I9} 28|407b18 409r17
288V13*"+"=288:68{77I9} 28|534s34 539s19 1255s34 1260s19 1265s19
288i18 Left{77I9}
288i32 Right{77I9}
289V13*"+"=289:68{77I9}
289i18 Left{24|48I9}
289i32 Right{77I9}
290V13*"+"=290:68{77I9}
290i18 Left{77I9}
290i32 Right{24|48I9}
292V13*"/"=292:68{77I9} 28|651s34 656s19
292i18 Left{77I9}
292i32 Right{77I9}
293V13*"/"=293:68{77I9}
293i18 Left{24|48I9}
293i32 Right{77I9}
294V13*"/"=294:68{77I9}
294i18 Left{77I9}
294i32 Right{24|48I9}
296V13*"*"=296:68{77I9} 28|69r32 1081s34 1086s19
296i18 Left{77I9}
296i32 Right{77I9}
297V13*"*"=297:68{77I9}
297i18 Left{24|48I9}
297i32 Right{77I9}
298V13*"*"=298:68{77I9}
298i18 Left{77I9}
298i32 Right{24|48I9}
300V13*"-"=300:68{77I9}
300i18 Left{77I9}
300i32 Right{77I9}
301V13*"-"=301:68{77I9}
301i18 Left{24|48I9}
301i32 Right{77I9}
302V13*"-"=302:68{77I9}
302i18 Left{77I9}
302i32 Right{24|48I9}
304V13*"**"=305:62{77I9}
304i20 Real{77I9}
304i35 N{24|48I9}
307V13*"abs"=307:55{77I9}
307i20 Real{77I9}
309V13*"-"=309:55{77I9}
309i20 Real{77I9}
311V13*"="=311:64{boolean} 28|473r42 498r42 817s38
311i20 Left{77I9}
311i26 Right{77I9}
313V13*"<"=313:64{boolean} 28|915s24 924s21 961s25
313i20 Left{77I9}
313i26 Right{77I9}
315V13*"<="=315:64{boolean} 28|1068s15
315i20 Left{77I9}
315i26 Right{77I9}
317V13*">="=317:64{boolean} 28|1055s15
317i20 Left{77I9}
317i26 Right{77I9}
319V13*">"=319:64{boolean}
319i20 Left{77I9}
319i26 Right{77I9}
331I9*Save_Mark 333r25 336r27 350c9 28|308r25 310r14 426r27 1011r38 1209r38
333V13*Mark{331I9} 28|308b13 311l8 311t12 1011s51 1209s51
336U14*Release 336>23 28|426b14 429l8 429t15 1043s13 1229s16
336i23 M{331I9} 28|426b23 428r31
X 28 urealp.adb
39i4 Ureal_First_Entry{27|77I9} 75r30
43R9 Ureal_Entry 56e14 62r8 69r8 73r30 108r23 127r46 136r30 136r50 146r32
. 150r43 159r22 198r22 245r46 345r30 345r50 444r32 462r43 518r22 543r14 544r14
. 554r34 599r18 600r18 636r22 660r23 661r23 793r14 871r22 1012r22 1013r22
. 1090r23 1091r23 1210r31 1211r31 1273r22 1291r22 1305r22
44i7*Num{24|48I9} 63r7 177r43 188r43 216r43 227r43 338r31 360r19 364r19 368r19
. 388m15 400r34 450r14 452m37 452r49 522m18 522r34 559m21 559r35 563m21 563r35
. 579r23 579r73 583m27 590m27 604m19 604r31 608m19 608r31 611r24 611r44 615m27
. 622m27 639r32 641r22 665r27 670m24 670r41 671r52 675r33 675r43 677m24 677r41
. 677r53 684m24 684r41 686r41 693m24 693r41 694r41 699r30 699r40 702m24 702r41
. 702r52 709m24 709r42 709r53 720r32 720r43 723r31 723r42 729m27 737m24 737r42
. 737r53 750r28 751r28 753r28 754r28 769m24 820m21 831r29 835m21 836r37 848m24
. 848r40 858m24 858r40 874r33 876r21 893m18 943r38 952r34 1037r32 1037r56
. 1039r32 1039r56 1092r43 1092r54 1100m24 1107m24 1114m24 1121m24 1129m21
. 1137m24 1144m24 1151m24 1173m21 1226r34 1226r46 1243m18 1243r50 1277r19
. 1294r23 1296r21 1317r14 1324r24 1334r22 1340r22 1350r22 1364r27 1377r32
. 1386r27 1395r27 1410r27 1412r27 1415r27 1417r27 1418r27 1426r27 1443r41
. 1462r24 1487r17 1488r24 1498r24
47i7*Den{24|48I9} 64r7 178r43 217r43 238r34 269r44 324r31 361r19 363r17 364r44
. 369r32 389m15 523m18 523r34 566r21 566r32 567r32 568r32 572r32 573r32 584m27
. 591m27 611r33 611r53 616m27 623m27 623r42 623r51 639r42 641r32 641r47 670r52
. 671m24 671r41 675r54 677r64 678m24 678r43 682r21 685m24 685r57 687r41 693r66
. 694m24 694r52 703m24 703r41 703r52 709r65 710m24 710r41 714r21 719r24 720r72
. 721r47 724r46 725r48 730m27 738r56 739m24 739r41 749r21 750r56 754r54 758r24
. 759r54 761r52 765r34 770m24 821m21 835r37 836m21 849m24 849r40 859m24 859r40
. 874r43 874r58 876r31 894m18 1024r24 1024r35 1025m24 1025r36 1025r47 1026m24
. 1028m24 1028r36 1028r47 1029m24 1037r43 1037r67 1039r43 1039r67 1101m24
. 1101r41 1101r52 1105r38 1107r47 1108m24 1108r41 1112r21 1114r64 1115m24
. 1115r41 1122m24 1122r41 1122r67 1130m21 1130r38 1130r49 1135r35 1137r47
. 1138m24 1138r41 1142r21 1144r64 1145m24 1145r41 1152m24 1152r41 1152r67
. 1160r18 1161r48 1163r46 1166r18 1167r48 1169r46 1174m21 1227r34 1227r46
. 1244m18 1244r50 1277r30 1277r46 1294r33 1296r31 1323r17 1330r22 1331r22
. 1333r17 1339r20 1349r20 1364r50 1379r29 1383r42 1383r63 1384r52 1386r50
. 1407r51 1409r20 1414r20 1437r55 1446r25 1465r17 1470r20 1471r31 1474r30
. 1487r29 1488r34 1500r24
50i7*Rbase{23|62I12} 65r7 176r17 215r17 268r24 269r60 359r14 364r29 369r19
. 390m15 419r34 524m18 524r34 552r15 552r40 552r53 579r34 585m27 592m27 592r44
. 617m27 624m27 667r15 668r18 672m24 679m24 679r41 685r41 688m24 693r52 695m24
. 700r18 700r31 704m24 704r41 707r21 711m24 711r41 720r56 721r31 724r32 725r32
. 731m27 738r42 740m24 740r41 750r40 754r40 757r21 759r38 761r38 771m24 822m21
. 837m21 845r17 850m24 850r40 860m24 895m18 1023r21 1023r34 1023r54 1097r15
. 1098r18 1102m24 1109m24 1109r41 1114r48 1116m24 1122r53 1123m24 1127r18
. 1127r31 1131m21 1131r38 1134r18 1139m24 1139r41 1144r48 1146m24 1152r53
. 1153m24 1161r32 1163r32 1167r32 1169r32 1175m21 1245m18 1245r50 1329r17
. 1376r18 1376r41 1383r18 1384r28 1386r37 1394r20 1396r32 1443r17 1444r25
. 1457r17 1467r28
54b7*Negative{boolean} 66r7 391m15 391r31 451m37 525m18 558r21 562r21 586m27
. 586r44 593m27 603r19 607r19 618m27 618r44 625m27 638r14 662r43 662r61 673m24
. 680m24 689m24 696m24 705m24 712m24 732m27 741m24 772m24 823m21 838m21 851m24
. 861m24 873r14 896m18 933r34 942r38 981r37 985r33 986r43 990r37 991r39 1036r21
. 1094r43 1094r61 1103m24 1110m24 1117m24 1124m24 1132m21 1140m24 1147m24
. 1154m24 1176m21 1225r24 1225r41 1246m18 1246r54 1279r14 1293r14 1311r14
72K12 Ureals[20|55] 159r37 198r37 238r14 278r7 310r25 321r41 335r41 400r14
. 419r14 428r7 446r7 451r10 451r24 452r10 452r24 455r14 475r7 500r7 518r37
. 543r29 544r29 636r48 660r38 661r38 809r14 871r48 933r14 942r18 943r18 952r14
. 981r17 985r13 986r22 990r17 991r18 1017r21 1018r21 1090r38 1091r38 1210r57
. 1211r57 1243r30 1244r30 1245r30 1246r34 1273r48 1291r48 1305r37
83i4 UR_0{27|77I9} 279m7 476m27 501r28 1515r14
84i4 UR_M_0{27|77I9} 280m7 477m27 502r28 1614r14
85i4 UR_Tenth{27|77I9} 282m7 478m27 503r28 1632r14
86i4 UR_Half{27|77I9} 281m7 479m27 504r28 1605r14
87i4 UR_1{27|77I9} 283m7 480m27 505r28 1524r14
88i4 UR_2{27|77I9} 284m7 481m27 506r28 1533r14
89i4 UR_10{27|77I9} 285m7 482m27 507r28 1542r14
90i4 UR_10_36{27|77I9} 286m7 1560r14
91i4 UR_M_10_36{27|77I9} 287m7 1623r14
92i4 UR_100{27|77I9} 288m7 483m27 508r28 1551r14
93i4 UR_2_128{27|77I9} 289m7 484m27 509r28 1578r14
94i4 UR_2_80{27|77I9} 291m7 1569r14
95i4 UR_2_M_128{27|77I9} 290m7 485m27 510r28 1596r14
96i4 UR_2_M_80{27|77I9} 292m7 1587r14
98N4 Num_Ureal_Constants 473r22 498r22
102i4 Normalized_Real{27|77I9} 319r26 320m10 333r26 334m10 489m7
108r4 Normalized_Entry{43R9} 321m10 324r14 335m10 338r14
115V13 Decimal_Exponent_Hi{23|59I9} 115>34 158b13 191l8 191t27 999s13 1002s42
. 1199s13 1200s42
115i34 V{27|77I9} 158b34 159r51 164r22
121V13 Decimal_Exponent_Lo{23|59I9} 121>34 197b13 230l8 230t27 999s42 1002s13
. 1199s42 1200s13
121i34 V{27|77I9} 197b34 198r51 203r22
127V13 Equivalent_Decimal_Exponent{23|59I9} 127>42 189s17 228s17 245b13 270l8
. 270t35
127r42 U{43R9} 245b42 268r22 269r42 269r58
133V13 Is_Integer{boolean} 133>25 133>30 299b13 302l8 302t18 675s16 699s13
. 1105s16 1135s13
133i25 Num{24|48I9} 299b25 301r15 301r34
133i30 Den{24|48I9} 299b30 301r21 301r28
136V13 Normalize{43R9} 136>24 321s30 335s30 345b13 392l8 392t17 464s27 599s33
. 600s33 636s37 832s17 871s37 1033s21 1034s21 1210s46 1211s46 1273s37 1291s37
136r24 Val{43R9} 345b24 359r10 360r15 361r15 363r13 364r15 364r25 364r40
. 368r15 369r15 369r28 391r27
140V13 Same{boolean} 140>19 140>23 141r19 319s14 333s14 435b13 438l8 438t12
. 972s10 1189s10 1194s13 1194s43
140i19 U1{27|77I9} 435b19 437r19
140i23 U2{27|77I9} 435b23 437r30
146V13 Store_Ureal{27|77I9} 146>26 444b13 456l8 456t19 464s14 521s14 582s23
. 589s23 614s23 676s20 701s20 708s20 728s23 736s20 819s17 834s17 847s20 857s20
. 892s14 1106s20 1128s17 1136s20 1242s14
146r26 Val{43R9} 444b26 446r22 450r10 452r45
150V13 Store_Ureal_Normalized{27|77I9} 150>37 151r19 462b13 465l8 465t30
. 621s23 669s20 683s20 692s20 768s20 1099s20 1113s20 1120s20 1143s20 1150s20
. 1172s17
150r37 Val{43R9} 462b37 464r38
159r7 Val{43R9} 176r13 177r39 178r39 188r39 189r46
198r7 Val{43R9} 215r13 216r39 217r39 227r39 228r46
249a7 Logs(long_float) 269r52
346i7 J{24|48I9} 360m10 364m10 368m10 372r14 375r14 376r17 377m10 381m7 381r20
. 382r20 383r20
347i7 K{24|48I9} 361m10 365m10 369m10 373r14 375r10 377r15 378m10 381r23
348i7 Tmp{24|48I9} 376m10 378r15
349i7 Num{24|48I9} 372m7 382m7 382r14 384m34 388r27
350i7 Den{24|48I9} 373m7 383m7 383r14 384m39 389r27
351r7 M{24|364R9} 384r31
518r7 Val{43R9} 522r30 523r30 524r30
543r7 Lval{43R9} 552r10 552r35 558r16 559m16 559r30 566r16 567r27 569r27
. 573r27 575r27 579r29 586r39 592r39 599r44 618r39
544r7 Rval{43R9} 552r48 562r16 563m16 563r30 566r27 568r27 570r27 572r27
. 574r27 600r44
545i7 Num{24|48I9} 578m13 581r16 590r43 593r40 611m13 613r16 622r43 625r40
554r13 Opd_Min{43R9} 569m16 574m16 579r15
554r22 Opd_Max{43R9} 570m16 575m16 579r65
555i13 Exp_Min{24|48I9} 567m16 572m16 579r54
555i22 Exp_Max{24|48I9} 568m16 573m16 579r44 591r39
599r13 Ln{43R9} 603r16 604m16 604r28 611r21 611r50 623r39
600r13 Rn{43R9} 607r16 608m16 608r28 611r30 611r41 623r48
636r7 Val{43R9} 638r10 639r28 639r38 641r18 641r28 641r43
660r7 Lval{43R9} 662r56 667r10 670r36 671r36 675r28 675r49 677r36 677r59
. 684r36 687r36 693r36 694r47 699r25 700r26 702r36 703r36 704r36 709r37 710r36
. 711r36 719r19 720r27 720r51 720r67 723r26 724r27 724r41 737r37 739r36 740r36
. 749r16 750r23 750r35 750r51 753r23 754r35 754r49
661r7 Rval{43R9} 662r38 665r22 668r13 670r47 671r47 675r38 677r48 678r38
. 679r36 682r16 685r36 685r52 686r36 693r47 693r61 694r36 699r35 700r13 702r47
. 703r47 707r16 709r48 709r60 714r16 720r38 721r26 721r42 723r37 725r27 725r43
. 737r48 738r37 738r51 751r23 754r23 757r16 758r19 759r33 759r49 761r33 761r47
. 765r29
662b7 Rneg{boolean} 673r36 680r36 689r36 696r36 705r36 712r36 732r39 741r36
. 772r36
716i16 Num{24|48I9} 720m19 723m19 729r39
716i21 Den{24|48I9} 721m19 724m19 730r39
746i13 Num{24|48I9} 750m16 753m16 761m19 761r26 765m16 765r23 769r36
746i18 Den{24|48I9} 751m16 754m16 759m19 759r26 770r36
791i7 X{24|48I9} 835r44 836r44 848r47 849r46 858r47 859r47
792i7 Bas{27|77I9} 803m10 806m10 809r28 814r25 817r40 822r54
793r7 Val{43R9} 809m7 831r25 832m10 832r28 835r33 836r33 845r13 848r36 849r36
. 850r36 858r36 859r36
794b7 Neg{boolean} 802m10 805m10 823r33 838r33 851r36 861r36
795i7 IBas{24|48I9} 814m7 816r10 817r32
871r7 Val{43R9} 873r10 874r29 874r39 874r54 876r17 876r27
1010r13 Imrk{24|364R9} 1042r22
1011i13 Rmrk{27|331I9} 1043r22
1012r13 Lval{43R9} 1017m13 1023r16 1023r49 1024r19 1025r42 1026m19 1028m19
. 1028r31 1033m13 1033r32 1036r16 1037r27 1037r62 1039r27 1039r62
1013r13 Rval{43R9} 1018m13 1023r29 1024r30 1025m19 1025r31 1028r42 1029m19
. 1034m13 1034r32 1037r38 1037r51 1039r38 1039r51
1014b13 Result{boolean} 1037m16 1039m16 1044r20
1090r7 Lval{43R9} 1092r38 1094r38 1097r10 1101r36 1105r33 1107r42 1115r36
. 1122r36 1127r13 1130r33 1131r33 1138r36 1139r36 1142r16 1144r43 1144r59
. 1152r48 1152r62 1160r13 1161r27 1161r43 1163r27 1163r41
1091r7 Rval{43R9} 1092r49 1094r56 1098r13 1101r47 1108r36 1109r36 1112r16
. 1114r43 1114r59 1122r48 1122r62 1127r26 1130r44 1134r13 1135r30 1137r42
. 1145r36 1152r36 1166r13 1167r27 1167r43 1169r27 1169r41
1092i7 Num{24|48I9} 1100r36 1105r28 1107r36 1114r36 1121r36 1129r33 1135r25
. 1137r36 1144r36 1151r36 1161m13 1161r20 1167m13 1167r20 1173r33
1093i7 Den{24|48I9} 1158m10 1163m13 1163r20 1169m13 1169r20 1174r33
1094b7 Rneg{boolean} 1103r36 1110r36 1117r36 1124r36 1132r33 1140r36 1147r36
. 1154r36 1176r33
1208r13 Imrk{24|364R9} 1228r25
1209i13 Rmrk{27|331I9} 1229r25
1210r13 Lval{43R9} 1225r36 1226r41 1227r41
1211r13 Rval{43R9} 1225r19 1226r29 1227r29
1212b13 Result{boolean} 1224m16 1230r23
1273r7 Val{43R9} 1277r15 1277r26 1277r42 1279r10
1274i7 Res{24|48I9} 1277m7 1280r28 1282r17
1291r7 Val{43R9} 1293r10 1294r19 1294r29 1296r17 1296r27
1305r7 Val{43R9} 1311r10 1317r10 1323r13 1324r20 1329r13 1330r18 1331r18
. 1333r13 1334r18 1339r16 1340r18 1349r16 1350r18 1364r23 1364r46 1376r14
. 1376r37 1377r28 1379r25 1383r14 1383r38 1383r59 1384r24 1384r48 1386r23
. 1386r33 1386r46 1394r16 1395r23 1396r28 1407r47 1409r16 1410r23 1412r23
. 1414r16 1415r23 1417r23 1418r23 1426r23 1437r51 1443r13 1443r37 1444r21
. 1446r21 1457r13 1462r20 1465r13 1467r24 1470r16 1471r27 1474r26 1487r13
. 1487r25 1488r20 1488r30 1498r20 1500r20
1306i7 T{24|48I9} 1334m13 1335r23 1337r23 1340m13 1341r23 1343r23 1345r16
. 1346r26 1350m13 1351r23 1353r23 1355r16 1356r26 1358r19 1359r29
|