libgnatvsn4.8-dev 4.8.2-8ubuntu3 / usr / lib / ada / adalib / gnatvsn / urealp.ali

V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK

U urealp%b		urealp.adb		9b89bb8d 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		615ddc46 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		20120716125141 10fcae55
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D debug.ads		20090420131856 3ea59655
D hostparm.ads		20120315091549 c164ed60
D opt.ads		20130206104433 983485a0
D output.ads		20100622132632 de75f4b4
D system.ads		20140416144310 90249111
D s-exctab.ads		20090417131547 66e51330
D s-memory.ads		20090417131547 ca8bbc15
D s-os_lib.ads		20120709131452 cf6cfdbf
D s-parame.ads		20110830140625 b6e20cc0
D s-stalib.ads		20130104124955 f78bcf95
D s-string.ads		20130104124955 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		20130104091825 d2a5ae47
D tree_io.ads		20130102100426 30335df9
D types.ads		20130104092849 a33fd65d
D uintp.ads		20121106101120 2762e44a
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20121205110635 e500ee51
D urealp.adb		20110804130556 a99724cd
X 5 alloc.ads
42K9*Alloc 163e10 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|1335s10 1359s13 1365s13 1375s13 1429s13 1434s13 1439s13
. 1450s13 1451s13 1454s16 1459s13 1482s13 1489s13 1498s16 1503s13 1518s13
. 1527s13
113U14*Write_Eol 28|433s7
123U14*Write_Int 28|1467s10 1490s13
130U14*Write_Str 28|1341s10 1348s10 1388s13 1410s13 1421s13 1422s13 1456s16
. 1468s10 1486s10 1491s13 1496s16 1512s10 1522s10 1524s10
X 10 system.ads
64M9*Address
X 12 s-memory.ads
53V13*Alloc{10|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{10|64M9} 105i<c,__gnat_realloc>22
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|78I9>
109A15*Big_Table_Type{106A12[28|72]}<27|78I9>
117P12*Table_Ptr(109A15[28|72])
121p7*Table{117P12[28|72]} 28|159r44[72] 198r44[72] 238r21[72] 344r48[72]
. 358r48[72] 423r21[72] 442r21[72] 474m17[72] 474r17[72] 475m17[72] 475r17[72]
. 541r44[72] 566r36[72] 567r36[72] 659r55[72] 683r45[72] 684r45[72] 832r21[72]
. 894r55[72] 956r21[72] 965r25[72] 966r25[72] 975r21[72] 1004r24[72] 1008r20[72]
. 1009r29[72] 1013r24[72] 1014r25[72] 1040r28[72] 1041r28[72] 1113r45[72]
. 1114r45[72] 1233r64[72] 1234r64[72] 1266r37[72] 1267r37[72] 1268r37[72]
. 1269r41[72] 1296r55[72] 1314r55[72] 1328r44[72]
138U17*Init 28|301s14[72]
145V16*Last{27|78I9} 28|333s32[72] 474s31[72] 475s31[72] 478s21[72]
165U17*Set_Last 28|451s14[72]
182U17*Append 28|469s14[72]
213U17*Tree_Write 28|523s14[72]
216U17*Tree_Read 28|498s14[72]
X 22 tree_io.ads
45K9*Tree_IO 120e12 28|35w6 35r19
83U14*Tree_Read_Int 28|499s7 500s7 501s7 502s7 503s7 504s7 505s7 506s7 507s7
. 508s7
110U14*Tree_Write_Int 28|524s7 525s7 526s7 527s7 528s7 529s7 530s7 531s7
. 532s7 533s7
X 23 types.ads
52K9*Types 877e10 27|34w6 34r17
59I9*Int<integer> 27|346r22 351r26 28|115r52 121r52 127r66 158r52 197r52
. 245r66 276r27 276r50 283r27 283r50 287r17 460r14 460r25 499r22 500r22 501r22
. 502r22 503r22 504r22 505r22 506r22 507r22 508r22 524r23 525r23 526r23 527r23
. 528r23 529r23 530r23 531r23 532r23 533r23 1430r23 1460r23
62I12*Nat{59I9} 27|149r41 198r18 28|50r15 248r16 249r16 258r30 440r41 910r18
65I12*Pos{59I9}
323N4*Ureal_Low_Bound 27|346r32
326N4*Ureal_High_Bound 27|346r51
X 24 uintp.ads
42K9*Uintp 537e10 27|35w6 35r17 28|374r22 374r41 407r7 1033r31 1231r31
48I9*Uint 27|152r47 155r45 158r44 161r44 164r32 167r46 172r44 175r46 178r44
. 196r18 197r18 206r43 207r28 211r28 212r43 216r28 217r43 221r28 222r43 225r49
. 290r25 291r40 294r25 295r40 298r25 299r40 302r25 303r40 305r39 28|44r14
. 47r13 133r36 236r47 322r36 340r44 354r44 369r13 370r13 371r13 372r13 373r13
. 421r45 555r28 560r43 568r14 578r34 658r46 672r28 677r43 739r27 769r24 813r48
. 814r23 818r14 893r44 908r18 909r18 926r32 1102r28 1107r43 1115r14 1116r14
. 1276r28 1281r43 1295r46 1297r13 1313r44 1329r13
54i4*Uint_0{48I9} 28|302r41 303r41 606r39 638r39 688r34 1049r31 1052r31
55i4*Uint_1{48I9} 28|302r49 303r49 304r41 304r49 305r41 305r49 306r41 306r49
. 307r41 308r41 309r41 310r41 311r41 312r41 313r41 314r41 315r41 388r15 607r39
. 639r39 843r33 929r25 1181r17
56i4*Uint_2{48I9} 28|1387r34
75i4*Uint_80{48I9} 28|315r49
76i4*Uint_128{48I9} 28|313r49
78i4*Uint_Minus_1{48I9} 28|307r49 308r49
79i4*Uint_Minus_2{48I9} 28|311r49
88i4*Uint_Minus_36{48I9} 28|309r49 310r49
90i4*Uint_Minus_80{48I9} 28|314r49
91i4*Uint_Minus_128{48I9} 28|312r49
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|404s12
210V13*UI_Negate{48I9} 28|662s17 897s17 1303s17
242V13*UI_To_Int{23|59I9} 28|292s21 845s33
250V13*Num_Bits{23|62I12} 28|1400s18
259n23*Hex{259E9} 28|1418r32
259n28*Decimal{259E9} 28|1347r29 1358r31 1360r33 1364r32 1366r39 1369r36
. 1374r33 1376r41 1379r42 1382r39 1387r57 1409r56 1430r56 1433r37 1435r39
. 1438r38 1440r44 1441r39 1449r32 1460r60 1485r29 1494r36 1497r35 1511r39
. 1521r29 1523r29
265a4*UI_Image_Buffer{string} 28|1400r39 1422r24 1450r25 1456r27
266i4*UI_Image_Length{natural} 28|1422r46 1426m13 1426r32 1427m13 1427r32
. 1427r50 1430r28 1453r16 1456r49 1460r28
269U14*UI_Image 28|1418s13 1449s13
279U14*UI_Write 28|1347s10 1358s13 1360s13 1364s13 1366s13 1369s16 1374s13
. 1376s13 1379s16 1382s19 1387s13 1409s13 1430s13 1433s13 1435s13 1438s13
. 1440s13 1441s13 1460s13 1469s10 1485s10 1494s16 1497s16 1511s10 1521s10
. 1523s10
301V14*"+"=301:65{48I9} 28|602s63 634s38 664s26 897s37 1153s42 1300s23
305V14*"/"=305:65{48I9} 28|324s19 405s18 406s18 662s36 664s41 700s45 725s45
. 732s46 743s36 746s35 760s46 897s52 899s25 1130s40 1160s40 1300s40 1317s27
. 1319s25 1511s28
307V14*"/"=307:65{48I9} 28|1300s34 1358s25 1364s25 1366s33 1374s25 1376s34
. 1379s36 1433s31 1438s31 1440s31
309V14*"*"=309:65{48I9} 28|324s26 387s23 602s27 634s28 634s48 646s46 693s45
. 694s45 698s47 700s57 708s62 709s45 716s45 717s45 732s58 743s48 747s51 760s58
. 773s32 777s32 782s30 784s30 788s27 872s44 1060s36 1060s60 1062s36 1062s60
. 1115s47 1124s45 1137s40 1145s45 1167s40 1175s45 1184s24 1186s24 1190s24
. 1192s24 1387s31 1409s31
311V14*"*"=311:65{48I9} 28|1357s26 1363s26 1373s26
313V14*"-"=313:65{48I9} 28|602s52 726s45 1048s40 1051s40
314V14*"-"=314:65{48I9} 28|1430s45 1460s49
315V14*"-"=315:65{48I9} 28|664s36 897s47
317V14*"**"=317:67{48I9} 28|858s41 859s41 871s44 881s44 882s44 1387s41
319V14*"**"=319:67{48I9} 28|387s35 392s25 602s40 708s47 716s58 743s62 744s37
. 747s38 748s38 761s48 773s46 777s46 782s44 784s44 1137s54 1145s59 1167s54
. 1175s59 1184s38 1186s38 1190s38 1192s38 1409s42
322V14*"abs"=322:53{48I9} 28|613s39 645s39 814s31 929s17
324V14*"mod"=324:67{48I9} 28|1510s21
326V14*"mod"=326:67{48I9} 28|825s20 1360s25 1366s25 1368s18 1369s28 1376s25
. 1378s18 1379s28 1381s21 1382s31 1435s31 1440s36 1441s31
332V14*"-"=332:53{48I9} 28|387s39 475s44 582s29 586s29 627s27 631s27 701s37
. 708s51 743s66 744s41 748s42 773s50 782s48 844s33 1137s58 1167s58 1184s42
. 1190s42 1283s35 1317s17 1387s45 1409s45 1469s20 1494s26
334V14*"="=334:70{boolean} 28|324s32 688s31 1249s38 1250s38
336V14*"="=336:70{boolean} 28|604s20 636s20 825s27 854s33 966s42 975s38 1340s18
. 1346s21 1356s21 1362s24 1368s25 1372s24 1378s26 1381s28 1402s33 1407s56
. 1432s24 1437s24 1466s45 1488s21 1510s33
340V14*">="=340:70{boolean} 28|1354s26
342V14*">"=342:70{boolean} 28|398s12 1060s48
344V14*">"=344:70{boolean} 28|1406s67
348V14*"<="=348:70{boolean} 28|839s15 1353s26 1493s24
350V14*"<"=350:70{boolean} 28|589s25 1047s28 1062s48
352V14*"<"=352:70{boolean} 28|386s21 473s18 616s44 648s44 705s25 737s25 742s28
. 772s25 781s28 853s15 929s49 1135s25 1165s25 1183s22 1189s22 1406s46
364R9*Save_Mark 477e14 28|374r28 1033r37 1231r37
366V13*Mark{364R9} 28|374s47 1033s51 1231s51
369U14*Release 28|1065s13 1251s16
377U14*Release_And_Save 28|407s13
X 27 urealp.ads
37K9*Urealp 369l5 369e11 28|37b14 1034r31 1232r31 1658l5 1658t11
78I9*Ureal 81r24 88r28 91r30 94r32 97r31 100r28 103r28 106r29 109r30 112r31
. 115r33 118r32 121r34 124r32 127r34 149r27 152r33 155r31 158r30 161r30 164r45
. 167r32 172r30 175r32 178r30 200r18 205r28 205r43 205r57 206r28 206r57 207r43
. 207r57 210r28 210r43 210r57 211r43 211r57 212r28 212r57 215r28 215r43 215r57
. 216r43 216r57 217r28 217r57 220r28 220r43 220r57 221r43 221r57 222r28 222r57
. 225r38 225r63 229r28 229r42 232r31 232r45 235r34 238r35 238r49 241r35 241r49
. 244r34 247r34 250r34 253r34 256r34 259r32 262r36 265r36 268r31 280r25 289r25
. 289r40 289r54 290r40 290r54 291r25 291r54 293r25 293r40 293r54 294r40 294r54
. 295r25 295r54 297r25 297r40 297r54 298r40 298r54 299r25 299r54 301r25 301r40
. 301r54 302r40 302r54 303r25 303r54 305r28 305r52 308r27 308r41 310r27 310r41
. 312r34 314r34 316r34 318r34 320r34 346c9 347r8 349r24 349r33 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 340r30 354r30 421r31 430r25 440r27 451r24 458r28 467r52 485r63 540r28
. 540r42 555r42 555r56 560r28 560r56 565r28 565r43 565r57 658r32 672r42 672r56
. 677r28 677r56 682r35 682r49 804r34 813r37 813r61 815r14 893r30 912r18 926r45
. 936r34 945r34 954r36 963r36 973r32 982r34 991r34 1076r35 1076r49 1089r35
. 1089r49 1102r42 1102r56 1107r28 1107r56 1112r35 1112r49 1207r34 1263r31
. 1263r45 1276r42 1276r56 1281r28 1281r56 1286r35 1286r49 1295r32 1313r30
. 1327r31 1536r28 1545r28 1554r28 1563r29 1572r30 1581r32 1590r31 1599r32
. 1608r33 1617r34 1626r31 1635r30 1644r34 1653r32
81i4*No_Ureal{78I9} 349c4 28|39r54 102r31 512r26 1217r25 1217r56
88V13*Ureal_0{78I9} 360r19 28|1536b13 1539l8 1539t15
91V13*Ureal_M_0{78I9} 361r19 28|1635b13 1638l8 1638t17
94V13*Ureal_Tenth{78I9} 362r19 28|1653b13 1656l8 1656t19
97V13*Ureal_Half{78I9} 363r19 28|1626b13 1629l8 1629t18
100V13*Ureal_1{78I9} 364r19 28|1545b13 1548l8 1548t15
103V13*Ureal_2{78I9} 365r19 28|1554b13 1557l8 1557t15
106V13*Ureal_10{78I9} 366r19 28|1563b13 1566l8 1566t16
109V13*Ureal_100{78I9} 28|1572b13 1575l8 1575t17
112V13*Ureal_2_80{78I9} 28|1590b13 1593l8 1593t18
115V13*Ureal_2_M_80{78I9} 28|1608b13 1611l8 1611t20
118V13*Ureal_2_128{78I9} 28|1599b13 1602l8 1602t19
121V13*Ureal_2_M_128{78I9} 28|1617b13 1620l8 1620t21
124V13*Ureal_10_36{78I9} 28|1581b13 1584l8 1584t19
127V13*Ureal_M_10_36{78I9} 28|1644b13 1647l8 1647t21
134U14*Initialize 28|299b14 316l8 316t18
140U14*Tree_Read 28|494b14 513l8 513t17
145U14*Tree_Write 28|519b14 534l8 534t18
149V13*Rbase{23|62I12} 149>20 358r19 28|440b13 443l8 443t13
149i20 Real{78I9} 28|440b20 442r28
152V13*Denominator{24|48I9} 152>26 353r19 28|236b13 239l8 239t19
152i26 Real{78I9} 28|236b26 238r28
155V13*Numerator{24|48I9} 155>24 357r19 28|421b13 424l8 424t17
155i24 Real{78I9} 28|421b24 423r28
158V13*Norm_Den{24|48I9} 158>23 356r19 28|340b13 348l8 348t16
158i23 Real{78I9} 28|340b23 342r20 343r30 344r55
161V13*Norm_Num{24|48I9} 161>23 355r19 28|354b13 362l8 362t16
161i23 Real{78I9} 28|354b23 356r20 357r30 358r55
164V13*UR_From_Uint{78I9} 164>27 28|557s14 562s21 674s14 679s21 840s18 926b13
. 930l8 930t20 1104s14 1109s21 1278s14 1283s21
164i27 UI{24|48I9} 28|926b27 929r21 929r46
167V13*UR_To_Uint{24|48I9} 167>25 28|1295b13 1307l8 1307t18
167i25 Real{78I9} 28|1295b25 1296r62
172V13*UR_Trunc{24|48I9} 172>23 28|837s15 845s44 1313b13 1321l8 1321t16
172i23 Real{78I9} 28|1313b23 1314r62
175V13*UR_Ceiling{24|48I9} 175>25 28|658b13 666l8 666t18
175i25 Real{78I9} 28|658b25 659r62
178V13*UR_Floor{24|48I9} 178>23 28|893b13 901l8 901t16
178i23 Real{78I9} 28|893b23 894r62
195V13*UR_From_Components{78I9} 196>7 197>7 198>7 199>7 367r19 28|302s21
. 303s21 304s21 305s21 306s21 307s21 308s21 309s21 310s21 311s21 312s21 313s21
. 314s21 315s21 907b13 920l8 920t26 928s14
196i7 Num{24|48I9} 28|908b7 916r30
197i7 Den{24|48I9} 28|909b7 917r30
198i7 Rbase{23|62I12} 28|910b7 918r30
199b7 Negative{boolean} 28|911b7 919r30 929r33
205V13*UR_Add{78I9} 205>21 205>35 289r68 28|565b13 652l8 652t14
205i21 Left{78I9} 28|565b21 566r43
205i35 Right{78I9} 28|565b35 567r43
206V13*UR_Add{78I9} 206>21 206>35 291r68 28|560b13 563l8 563t14
206i21 Left{78I9} 28|560b21 562r14
206i35 Right{24|48I9} 28|560b35 562r35
207V13*UR_Add{78I9} 207>21 207>35 290r68 28|555b13 558l8 558t14
207i21 Left{24|48I9} 28|555b21 557r28
207i35 Right{78I9} 28|555b34 557r36
210V13*UR_Div{78I9} 210>21 210>35 293r68 28|682b13 798l8 798t14
210i21 Left{78I9} 28|682b21 683r52
210i35 Right{78I9} 28|682b27 684r52
211V13*UR_Div{78I9} 211>21 211>35 294r68 28|672b13 675l8 675t14
211i21 Left{24|48I9} 28|672b21 674r28
211i35 Right{78I9} 28|672b34 674r36
212V13*UR_Div{78I9} 212>21 212>35 295r68 28|677b13 680l8 680t14
212i21 Left{78I9} 28|677b21 679r14
212i35 Right{24|48I9} 28|677b35 679r35
215V13*UR_Mul{78I9} 215>21 215>35 297r68 28|1112b13 1201l8 1201t14
215i21 Left{78I9} 28|1112b21 1113r52
215i35 Right{78I9} 28|1112b27 1114r52
216V13*UR_Mul{78I9} 216>21 216>35 298r68 28|1102b13 1105l8 1105t14
216i21 Left{24|48I9} 28|1102b21 1104r28
216i35 Right{78I9} 28|1102b34 1104r36
217V13*UR_Mul{78I9} 217>21 217>35 299r68 28|1107b13 1110l8 1110t14
217i21 Left{78I9} 28|1107b21 1109r14
217i35 Right{24|48I9} 28|1107b35 1109r35
220V13*UR_Sub{78I9} 220>21 220>35 301r68 28|1286b13 1289l8 1289t14
220i21 Left{78I9} 28|1286b21 1288r14
220i35 Right{78I9} 28|1286b27 1288r32
221V13*UR_Sub{78I9} 221>21 221>35 302r68 28|1276b13 1279l8 1279t14
221i21 Left{24|48I9} 28|1276b21 1278r28
221i35 Right{78I9} 28|1276b34 1278r47
222V13*UR_Sub{78I9} 222>21 222>35 303r68 28|1281b13 1284l8 1284t14
222i21 Left{78I9} 28|1281b21 1283r14
222i35 Right{24|48I9} 28|1281b35 1283r36
225V13*UR_Exponentiate{78I9} 225>30 225>45 306r62 28|813b13 887l8 887t23
225i30 Real{78I9} 28|813b30 824r26 826r28 829r17
225i45 N{24|48I9} 28|813b44 814r35 825r18 844r34 853r13
229V13*UR_Abs{78I9} 229>21 308r55 28|540b13 549l8 549t14
229i21 Real{78I9} 28|540b21 541r51
232V13*UR_Negate{78I9} 232>24 310r55 28|826s17 1263b13 1270l8 1270t17 1278s36
. 1288s21
232i24 Real{78I9} 28|1263b24 1266r44 1267r44 1268r44 1269r48
235V13*UR_Eq{boolean} 235>20 235>26 312r64 28|804b13 807l8 807t13
235i20 Left{78I9} 28|804b20 806r25
235i26 Right{78I9} 28|804b26 806r31
238V13*UR_Max{78I9} 238>21 238>27 28|1076b13 1083l8 1083t14
238i21 Left{78I9} 28|1076b21 1078r10 1079r17
238i27 Right{78I9} 28|1076b27 1078r18 1081r17
241V13*UR_Min{78I9} 241>21 241>27 28|1089b13 1096l8 1096t14
241i21 Left{78I9} 28|1089b21 1091r10 1092r17
241i27 Right{78I9} 28|1089b27 1091r18 1094r17
244V13*UR_Ne{boolean} 244>20 244>26 28|806s18 1207b13 1257l8 1257t13
244i20 Left{78I9} 28|1207b20 1212r16 1217r19 1222r34 1223r34 1233r71 1238r28
. 1242r39
244i26 Right{78I9} 28|1207b26 1212r22 1217r49 1222r63 1223r63 1234r71 1239r39
. 1241r31
247V13*UR_Lt{boolean} 247>20 247>26 314r64 28|991b13 1070l8 1070t13
247i20 Left{78I9} 28|991b20 995r16 1000r25 1004r31 1008r27 1013r31 1022r34
. 1023r33 1025r34 1026r33 1040r35
247i26 Right{78I9} 28|991b26 995r22 1001r33 1003r25 1009r36 1014r32 1022r63
. 1025r63 1041r35
250V13*UR_Le{boolean} 250>20 250>26 316r64 28|982b13 985l8 985t13
250i20 Left{78I9} 28|982b20 984r27
250i26 Right{78I9} 28|982b26 984r19
253V13*UR_Gt{boolean} 253>20 253>26 320r64 28|945b13 948l8 948t13
253i20 Left{78I9} 28|945b20 947r23
253i26 Right{78I9} 28|945b26 947r15
256V13*UR_Ge{boolean} 256>20 256>26 318r64 28|936b13 939l8 939t13
256i20 Left{78I9} 28|936b20 938r19
256i26 Right{78I9} 28|936b26 938r26
259V13*UR_Is_Zero{boolean} 259>25 28|164s10 203s10 973b13 976l8 976t18 1000s13
. 1003s13 1238s16 1239s27 1241s19 1242s27
259i25 Real{78I9} 28|973b25 975r28
262V13*UR_Is_Negative{boolean} 262>29 28|824s10 954b13 957l8 957t22 1026s17
262i29 Real{78I9} 28|954b29 956r28
265V13*UR_Is_Positive{boolean} 265>29 28|963b13 967l8 967t22 1001s17 1023s17
265i29 Real{78I9} 28|963b29 965r32 966r32
268U14*UR_Write 268>24 268>38 28|432s7 1327b14 1530l8 1530t16
268i24 Real{78I9} 28|1327b24 1328r51
268b38 Brackets{boolean} 28|1327b38 1481r13 1502r13 1517r13 1526r13
280U14*pr 280>18 281r24 28|430b14 434l8 434t10
280i18 Real{78I9} 28|430b18 432r17
289V14*"+"=289:68{78I9} 28|557s34 562s19 1278s34 1283s19 1288s19
289i18 Left{78I9}
289i32 Right{78I9}
290V14*"+"=290:68{78I9}
290i18 Left{24|48I9}
290i32 Right{78I9}
291V14*"+"=291:68{78I9}
291i18 Left{78I9}
291i32 Right{24|48I9}
293V14*"/"=293:68{78I9} 28|674s34 679s19
293i18 Left{78I9}
293i32 Right{78I9}
294V14*"/"=294:68{78I9}
294i18 Left{24|48I9}
294i32 Right{78I9}
295V14*"/"=295:68{78I9}
295i18 Left{78I9}
295i32 Right{24|48I9}
297V14*"*"=297:68{78I9} 28|69r32 1104s34 1109s19
297i18 Left{78I9}
297i32 Right{78I9}
298V14*"*"=298:68{78I9}
298i18 Left{24|48I9}
298i32 Right{78I9}
299V14*"*"=299:68{78I9}
299i18 Left{78I9}
299i32 Right{24|48I9}
301V14*"-"=301:68{78I9}
301i18 Left{78I9}
301i32 Right{78I9}
302V14*"-"=302:68{78I9} 28|284r49
302i18 Left{24|48I9}
302i32 Right{78I9}
303V14*"-"=303:68{78I9}
303i18 Left{78I9}
303i32 Right{24|48I9}
305V14*"**"=306:62{78I9}
305i20 Real{78I9}
305i35 N{24|48I9}
308V14*"abs"=308:55{78I9}
308i20 Real{78I9}
310V14*"-"=310:55{78I9} 28|284r33
310i20 Real{78I9}
312V14*"="=312:64{boolean} 28|496r42 521r42 840s38
312i20 Left{78I9}
312i26 Right{78I9}
314V14*"<"=314:64{boolean} 28|938s24 947s21 984s25
314i20 Left{78I9}
314i26 Right{78I9}
316V14*"<="=316:64{boolean} 28|1091s15
316i20 Left{78I9}
316i26 Right{78I9}
318V14*">="=318:64{boolean} 28|1078s15
318i20 Left{78I9}
318i26 Right{78I9}
320V14*">"=320:64{boolean}
320i20 Left{78I9}
320i26 Right{78I9}
332I9*Save_Mark 334r25 337r27 351c9 28|331r25 333r14 449r27 1034r38 1232r38
334V13*Mark{332I9} 28|331b13 334l8 334t12 1034s51 1232s51
337U14*Release 337>23 28|449b14 452l8 452t15 1066s13 1252s16
337i23 M{332I9} 28|449b23 451r31
X 28 urealp.adb
39i4 Ureal_First_Entry{27|78I9} 75r30
43R9 Ureal_Entry 56e14 62r8 69r8 73r30 108r23 127r46 136r30 136r50 146r32
. 150r43 159r22 198r22 245r46 368r30 368r50 467r32 485r43 541r22 566r14 567r14
. 577r34 622r18 623r18 659r22 683r23 684r23 816r14 894r22 1035r22 1036r22
. 1113r23 1114r23 1233r31 1234r31 1296r22 1314r22 1328r22
44i7*Num{24|48I9} 63r7 177r43 188r43 216r43 227r43 361r31 383r19 387r19 391r19
. 411m15 423r34 473r14 475m37 475r49 545m18 545r34 582m21 582r35 586m21 586r35
. 602r23 602r73 606m27 613m27 627m19 627r31 631m19 631r31 634r24 634r44 638m27
. 645m27 662r32 664r22 688r27 693m24 693r41 694r52 698r33 698r43 700m24 700r41
. 700r53 707m24 707r41 709r41 716m24 716r41 717r41 722r30 722r40 725m24 725r41
. 725r52 732m24 732r42 732r53 743r32 743r43 746r31 746r42 752m27 760m24 760r42
. 760r53 773r28 774r28 776r28 777r28 792m24 843m21 854r29 858m21 859r37 871m24
. 871r40 881m24 881r40 897r33 899r21 916m18 966r38 975r34 1060r32 1060r56
. 1062r32 1062r56 1115r43 1115r54 1123m24 1130m24 1137m24 1144m24 1152m21
. 1160m24 1167m24 1174m24 1196m21 1249r34 1249r46 1266m18 1266r50 1300r19
. 1317r23 1319r21 1340r14 1347r24 1357r22 1363r22 1373r22 1387r27 1400r32
. 1409r27 1418r27 1433r27 1435r27 1438r27 1440r27 1441r27 1449r27 1466r41
. 1485r24 1510r17 1511r24 1521r24
47i7*Den{24|48I9} 64r7 178r43 217r43 238r34 292r34 347r31 384r19 386r17 387r44
. 392r32 412m15 546m18 546r34 589r21 589r32 590r32 591r32 595r32 596r32 607m27
. 614m27 634r33 634r53 639m27 646m27 646r42 646r51 662r42 664r32 664r47 693r52
. 694m24 694r41 698r54 700r64 701m24 701r43 705r21 708m24 708r57 710r41 716r66
. 717m24 717r52 726m24 726r41 726r52 732r65 733m24 733r41 737r21 742r24 743r72
. 744r47 747r46 748r48 753m27 761r56 762m24 762r41 772r21 773r56 777r54 781r24
. 782r54 784r52 788r34 793m24 844m21 858r37 859m21 872m24 872r40 882m24 882r40
. 897r43 897r58 899r31 917m18 1047r24 1047r35 1048m24 1048r36 1048r47 1049m24
. 1051m24 1051r36 1051r47 1052m24 1060r43 1060r67 1062r43 1062r67 1124m24
. 1124r41 1124r52 1128r38 1130r47 1131m24 1131r41 1135r21 1137r64 1138m24
. 1138r41 1145m24 1145r41 1145r67 1153m21 1153r38 1153r49 1158r35 1160r47
. 1161m24 1161r41 1165r21 1167r64 1168m24 1168r41 1175m24 1175r41 1175r67
. 1183r18 1184r48 1186r46 1189r18 1190r48 1192r46 1197m21 1250r34 1250r46
. 1267m18 1267r50 1300r30 1300r46 1317r33 1319r31 1346r17 1353r22 1354r22
. 1356r17 1362r20 1372r20 1387r50 1402r29 1406r42 1406r63 1407r52 1409r50
. 1430r51 1432r20 1437r20 1460r55 1469r25 1488r17 1493r20 1494r31 1497r30
. 1510r29 1511r34 1523r24
50i7*Rbase{23|62I12} 65r7 176r17 215r17 291r24 292r48 382r14 387r29 392r19
. 413m15 442r34 547m18 547r34 575r15 575r40 575r53 602r34 608m27 615m27 615r44
. 640m27 647m27 690r15 691r18 695m24 702m24 702r41 708r41 711m24 716r52 718m24
. 723r18 723r31 727m24 727r41 730r21 734m24 734r41 743r56 744r31 747r32 748r32
. 754m27 761r42 763m24 763r41 773r40 777r40 780r21 782r38 784r38 794m24 845m21
. 860m21 868r17 873m24 873r40 883m24 918m18 1046r21 1046r34 1046r54 1120r15
. 1121r18 1125m24 1132m24 1132r41 1137r48 1139m24 1145r53 1146m24 1150r18
. 1150r31 1154m21 1154r38 1157r18 1162m24 1162r41 1167r48 1169m24 1175r53
. 1176m24 1184r32 1186r32 1190r32 1192r32 1198m21 1268m18 1268r50 1352r17
. 1399r18 1399r41 1406r18 1407r28 1409r37 1417r20 1419r32 1466r17 1467r25
. 1480r17 1490r28
54b7*Negative{boolean} 66r7 414m15 414r31 474m37 548m18 581r21 585r21 609m27
. 609r44 616m27 626r19 630r19 641m27 641r44 648m27 661r14 685r43 685r61 696m24
. 703m24 712m24 719m24 728m24 735m24 755m27 764m24 795m24 846m21 861m21 874m24
. 884m24 896r14 919m18 956r34 965r38 1004r37 1008r33 1009r43 1013r37 1014r39
. 1059r21 1117r43 1117r61 1126m24 1133m24 1140m24 1147m24 1155m21 1163m24
. 1170m24 1177m24 1199m21 1248r24 1248r41 1269m18 1269r54 1302r14 1316r14
. 1334r14
72K12 Ureals[20|55] 159r37 198r37 238r14 301r7 333r25 344r41 358r41 423r14
. 442r14 451r7 469r7 474r10 474r24 475r10 475r24 478r14 498r7 523r7 541r37
. 566r29 567r29 659r48 683r38 684r38 832r14 894r48 956r14 965r18 966r18 975r14
. 1004r17 1008r13 1009r22 1013r17 1014r18 1040r21 1041r21 1113r38 1114r38
. 1233r57 1234r57 1266r30 1267r30 1268r30 1269r34 1296r48 1314r48 1328r37
83i4 UR_0{27|78I9} 302m7 499m27 499r27 524r28 1538r14
84i4 UR_M_0{27|78I9} 303m7 500m27 500r27 525r28 1637r14
85i4 UR_Tenth{27|78I9} 305m7 501m27 501r27 526r28 1655r14
86i4 UR_Half{27|78I9} 304m7 502m27 502r27 527r28 1628r14
87i4 UR_1{27|78I9} 306m7 503m27 503r27 528r28 1547r14
88i4 UR_2{27|78I9} 307m7 504m27 504r27 529r28 1556r14
89i4 UR_10{27|78I9} 308m7 505m27 505r27 530r28 1565r14
90i4 UR_10_36{27|78I9} 309m7 1583r14
91i4 UR_M_10_36{27|78I9} 310m7 1646r14
92i4 UR_100{27|78I9} 311m7 506m27 506r27 531r28 1574r14
93i4 UR_2_128{27|78I9} 312m7 507m27 507r27 532r28 1601r14
94i4 UR_2_80{27|78I9} 314m7 1592r14
95i4 UR_2_M_128{27|78I9} 313m7 508m27 508r27 533r28 1619r14
96i4 UR_2_M_80{27|78I9} 315m7 1610r14
98N4 Num_Ureal_Constants 496r22 521r22
102i4 Normalized_Real{27|78I9} 342r26 343m10 356r26 357m10 512m7
108r4 Normalized_Entry{43R9} 344m10 347r14 358m10 361r14
115V13 Decimal_Exponent_Hi{23|59I9} 115>34 158b13 191l8 191t27 1022s13 1025s42
. 1222s13 1223s42
115i34 V{27|78I9} 158b34 159r51 164r22
121V13 Decimal_Exponent_Lo{23|59I9} 121>34 197b13 230l8 230t27 1022s42 1025s13
. 1222s42 1223s13
121i34 V{27|78I9} 197b34 198r51 203r22
127V13 Equivalent_Decimal_Exponent{23|59I9} 127>42 189s17 228s17 245b13 293l8
. 293t35
127r42 U{43R9} 245b42 291r22 292r32 292r46
133V13 Is_Integer{boolean} 133>25 133>30 322b13 325l8 325t18 698s16 722s13
. 1128s16 1158s13
133i25 Num{24|48I9} 322b25 324r15 324r34
133i30 Den{24|48I9} 322b30 324r21 324r28
136V13 Normalize{43R9} 136>24 344s30 358s30 368b13 415l8 415t17 487s27 622s33
. 623s33 659s37 855s17 894s37 1056s21 1057s21 1233s46 1234s46 1296s37 1314s37
136r24 Val{43R9} 368b24 382r10 383r15 384r15 386r13 387r15 387r25 387r40
. 391r15 392r15 392r28 414r27
140V13 Same{boolean} 140>19 140>23 141r19 342s14 356s14 458b13 461l8 461t12
. 995s10 1212s10 1217s13 1217s43
140i19 U1{27|78I9} 458b19 460r19
140i23 U2{27|78I9} 458b23 460r30
146V13 Store_Ureal{27|78I9} 146>26 467b13 479l8 479t19 487s14 544s14 605s23
. 612s23 637s23 699s20 724s20 731s20 751s23 759s20 842s17 857s17 870s20 880s20
. 915s14 1129s20 1151s17 1159s20 1265s14
146r26 Val{43R9} 467b26 469r22 473r10 475r45
150V13 Store_Ureal_Normalized{27|78I9} 150>37 151r19 485b13 488l8 488t30
. 644s23 692s20 706s20 715s20 791s20 1122s20 1136s20 1143s20 1166s20 1173s20
. 1195s17
150r37 Val{43R9} 485b37 487r38
159r7 Val{43R9} 176r13 177r39 178r39 188r39 189r46
198r7 Val{43R9} 215r13 216r39 217r39 227r39 228r46
247R12 Ratio 250e17 258r52 276r36 283r36
248i10 Num{23|62I12} 259m16 260m16 261m16 262m16 263m16 264m16 265m16 266m16
. 267m16 268m16 269m16 270m16 271m16 272m16 273m16 274m16 287r49
249i10 Den{23|62I12} 259m36 260m36 261m36 262m36 263m36 264m36 265m36 266m36
. 267m36 268m36 269m36 270m36 271m36 272m36 273m36 274m36 287r68
258a7 Logs(247R12) 292r40
276V16 Scale{23|59I9} 276>23 276>32 283b16 288l11 288t16 292s14
276i23 X{23|59I9} 283b23 287r32
276r32 R{247R12} 283b32 287r47 287r66
284I15 Wide_Int<long_integer> 287r22 287r37 287r56
369i7 J{24|48I9} 383m10 387m10 391m10 395r14 398r14 399r17 400m10 404m7 404r20
. 405r20 406r20
370i7 K{24|48I9} 384m10 388m10 392m10 396r14 398r10 400r15 401m10 404r23
371i7 Tmp{24|48I9} 399m10 401r15
372i7 Num{24|48I9} 395m7 405m7 405r14 407m34 407r34 411r27
373i7 Den{24|48I9} 396m7 406m7 406r14 407m39 407r39 412r27
374r7 M{24|364R9} 407r31
541r7 Val{43R9} 545r30 546r30 547r30
566r7 Lval{43R9} 575r10 575r35 581r16 582m16 582r30 589r16 590r27 592r27
. 596r27 598r27 602r29 609r39 615r39 622r44 641r39
567r7 Rval{43R9} 575r48 585r16 586m16 586r30 589r27 591r27 593r27 595r27
. 597r27 623r44
568i7 Num{24|48I9} 601m13 604r16 613r43 616r40 634m13 636r16 645r43 648r40
577r13 Opd_Min{43R9} 592m16 597m16 602r15
577r22 Opd_Max{43R9} 593m16 598m16 602r65
578i13 Exp_Min{24|48I9} 590m16 595m16 602r54
578i22 Exp_Max{24|48I9} 591m16 596m16 602r44 614r39
622r13 Ln{43R9} 626r16 627m16 627r28 634r21 634r50 646r39
623r13 Rn{43R9} 630r16 631m16 631r28 634r30 634r41 646r48
659r7 Val{43R9} 661r10 662r28 662r38 664r18 664r28 664r43
683r7 Lval{43R9} 685r56 690r10 693r36 694r36 698r28 698r49 700r36 700r59
. 707r36 710r36 716r36 717r47 722r25 723r26 725r36 726r36 727r36 732r37 733r36
. 734r36 742r19 743r27 743r51 743r67 746r26 747r27 747r41 760r37 762r36 763r36
. 772r16 773r23 773r35 773r51 776r23 777r35 777r49
684r7 Rval{43R9} 685r38 688r22 691r13 693r47 694r47 698r38 700r48 701r38
. 702r36 705r16 708r36 708r52 709r36 716r47 716r61 717r36 722r35 723r13 725r47
. 726r47 730r16 732r48 732r60 737r16 743r38 744r26 744r42 746r37 748r27 748r43
. 760r48 761r37 761r51 774r23 777r23 780r16 781r19 782r33 782r49 784r33 784r47
. 788r29
685b7 Rneg{boolean} 696r36 703r36 712r36 719r36 728r36 735r36 755r39 764r36
. 795r36
739i16 Num{24|48I9} 743m19 746m19 752r39
739i21 Den{24|48I9} 744m19 747m19 753r39
769i13 Num{24|48I9} 773m16 776m16 784m19 784r26 788m16 788r23 792r36
769i18 Den{24|48I9} 774m16 777m16 782m19 782r26 793r36
814i7 X{24|48I9} 858r44 859r44 871r47 872r46 881r47 882r47
815i7 Bas{27|78I9} 826m10 829m10 832r28 837r25 840r40 845r54
816r7 Val{43R9} 832m7 854r25 855m10 855r28 858r33 859r33 868r13 871r36 872r36
. 873r36 881r36 882r36
817b7 Neg{boolean} 825m10 828m10 846r33 861r33 874r36 884r36
818i7 IBas{24|48I9} 837m7 839r10 840r32
894r7 Val{43R9} 896r10 897r29 897r39 897r54 899r17 899r27
1033r13 Imrk{24|364R9} 1065r22
1034i13 Rmrk{27|332I9} 1066r22
1035r13 Lval{43R9} 1040m13 1046r16 1046r49 1047r19 1048r42 1049m19 1051m19
. 1051r31 1056m13 1056r32 1059r16 1060r27 1060r62 1062r27 1062r62
1036r13 Rval{43R9} 1041m13 1046r29 1047r30 1048m19 1048r31 1051r42 1052m19
. 1057m13 1057r32 1060r38 1060r51 1062r38 1062r51
1037b13 Result{boolean} 1060m16 1062m16 1067r20
1113r7 Lval{43R9} 1115r38 1117r38 1120r10 1124r36 1128r33 1130r42 1138r36
. 1145r36 1150r13 1153r33 1154r33 1161r36 1162r36 1165r16 1167r43 1167r59
. 1175r48 1175r62 1183r13 1184r27 1184r43 1186r27 1186r41
1114r7 Rval{43R9} 1115r49 1117r56 1121r13 1124r47 1131r36 1132r36 1135r16
. 1137r43 1137r59 1145r48 1145r62 1150r26 1153r44 1157r13 1158r30 1160r42
. 1168r36 1175r36 1189r13 1190r27 1190r43 1192r27 1192r41
1115i7 Num{24|48I9} 1123r36 1128r28 1130r36 1137r36 1144r36 1152r33 1158r25
. 1160r36 1167r36 1174r36 1184m13 1184r20 1190m13 1190r20 1196r33
1116i7 Den{24|48I9} 1181m10 1186m13 1186r20 1192m13 1192r20 1197r33
1117b7 Rneg{boolean} 1126r36 1133r36 1140r36 1147r36 1155r33 1163r36 1170r36
. 1177r36 1199r33
1231r13 Imrk{24|364R9} 1251r25
1232i13 Rmrk{27|332I9} 1252r25
1233r13 Lval{43R9} 1248r36 1249r41 1250r41
1234r13 Rval{43R9} 1248r19 1249r29 1250r29
1235b13 Result{boolean} 1247m16 1253r23
1296r7 Val{43R9} 1300r15 1300r26 1300r42 1302r10
1297i7 Res{24|48I9} 1300m7 1303r28 1305r17
1314r7 Val{43R9} 1316r10 1317r19 1317r29 1319r17 1319r27
1328r7 Val{43R9} 1334r10 1340r10 1346r13 1347r20 1352r13 1353r18 1354r18
. 1356r13 1357r18 1362r16 1363r18 1372r16 1373r18 1387r23 1387r46 1399r14
. 1399r37 1400r28 1402r25 1406r14 1406r38 1406r59 1407r24 1407r48 1409r23
. 1409r33 1409r46 1417r16 1418r23 1419r28 1430r47 1432r16 1433r23 1435r23
. 1437r16 1438r23 1440r23 1441r23 1449r23 1460r51 1466r13 1466r37 1467r21
. 1469r21 1480r13 1485r20 1488r13 1490r24 1493r16 1494r27 1497r26 1510r13
. 1510r25 1511r20 1511r30 1521r20 1523r20
1329i7 T{24|48I9} 1357m13 1358r23 1360r23 1363m13 1364r23 1366r23 1368r16
. 1369r26 1373m13 1374r23 1376r23 1378r16 1379r26 1381r19 1382r29