255 lines
11 KiB
Plaintext
255 lines
11 KiB
Plaintext
|
V "GNAT Lib v6"
|
||
|
|
A -gnatwa
|
||
|
|
A -nostdinc
|
||
|
|
A -O2
|
||
|
|
A -Wextra
|
||
|
|
A -Wall
|
||
|
|
A -g
|
||
|
|
A -gnatp
|
||
|
|
A -gnatg
|
||
|
|
A -mtune=generic
|
||
|
|
A -march=i586
|
||
|
|
P ZX
|
||
|
|
|
||
|
|
RN
|
||
|
|
RV NO_EXCEPTION_HANDLERS
|
||
|
|
RV NO_EXCEPTIONS
|
||
|
|
RV NO_FLOATING_POINT
|
||
|
|
RV NO_LONG_LONG_INTEGERS
|
||
|
|
RV SPARK_05
|
||
|
|
|
||
|
|
U ada.numerics.generic_elementary_functions%b a-ngelfu.adb c25482c0 NE OL PK GE
|
||
|
|
W ada%s ada.ads ada.ali
|
||
|
|
W ada.numerics%s a-numeri.ads a-numeri.ali
|
||
|
|
W ada.numerics.aux%s a-numaux.adb a-numaux.ali
|
||
|
|
|
||
|
|
U ada.numerics.generic_elementary_functions%s a-ngelfu.ads 03ac0f1c BN NE OL PU PK GE
|
||
|
|
W ada.numerics%s a-numeri.ads a-numeri.ali
|
||
|
|
|
||
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
||
|
|
D a-numeri.ads 20080324174807 bb51c45a ada.numerics%s
|
||
|
|
D a-numaux.ads 20140801094828 243fe0b7 ada.numerics.aux%s
|
||
|
|
D a-ngelfu.ads 20151016131424 b8fdcb46 ada.numerics.generic_elementary_functions%s
|
||
|
|
D a-ngelfu.adb 20151020124036 5e96a931 ada.numerics.generic_elementary_functions%b
|
||
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
||
|
|
D system.ads 20151123113124 2da59038 system%s
|
||
|
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
||
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
||
|
|
X 1 ada.ads
|
||
|
|
16K9*Ada 19e8 4|39r9 170r5 5|39r6 41r14 43r13 995r5
|
||
|
|
X 2 a-numeri.ads
|
||
|
|
16K13*Numerics 1|16k9 2|32e17 4|39r13 170r9 5|39r10 41r18 43r17 995r9
|
||
|
|
19X4*Argument_Error 5|88r16 91r16 183r16 211r16 214r16 245r16 302r16 321r16
|
||
|
|
. 341r16 344r16 395r16 422r16 425r16 465r19 579r16 737r16 754r16 757r16 791r16
|
||
|
|
. 890r16 928r16
|
||
|
|
21N4*Pi 5|53r34 54r28 186r17 192r17 198r18 327r17 330r19 401r20 714r29 724r39
|
||
|
|
X 3 a-numaux.ads
|
||
|
|
35K22*Aux 75e21 5|39w19 43r26 51r22 152r38 161r38 195r32 333r31 516r31 569r37
|
||
|
|
. 618r37 633r34 715r32 746r31 766r31 766r54 781r31 815r31 898r31 918r31 991r34
|
||
|
|
38F9*Double<long_long_float> 5|43r30 51r26
|
||
|
|
40V13*Sin{38F9} 5|781s35 815s35
|
||
|
|
42V13*Cos{38F9} 5|516s35
|
||
|
|
44V13*Tan{38F9} 5|569s41 918s35
|
||
|
|
46V13*Exp{38F9} 5|633s38
|
||
|
|
48V13*Sqrt{38F9} 5|898s35
|
||
|
|
50V13*Log{38F9} 5|746s35 766s35 766s58
|
||
|
|
52V13*Atan{38F9} 5|715s36
|
||
|
|
54V13*Acos{38F9} 5|195s36
|
||
|
|
56V13*Asin{38F9} 5|333s35
|
||
|
|
62V13*Tanh{38F9} 5|618s41 991s38
|
||
|
|
64V13*Pow{38F9} 5|152s42 161s42
|
||
|
|
X 4 a-ngelfu.ads
|
||
|
|
37F9 Float_Type 42r23 42r47 62r26 64r22 64r46 67r28 67r52 70r22 70r46 73r33
|
||
|
|
. 73r57 80r22 80r46 84r29 84r53 88r22 88r46 92r29 92r53 96r22 96r46 99r29
|
||
|
|
. 99r53 102r22 102r46 104r29 104r53 106r25 106r49 109r32 109r56 112r25 112r49
|
||
|
|
. 115r32 115r56 119r11 120r11 120r42 125r15 126r15 127r15 127r39 132r13 133r13
|
||
|
|
. 133r44 138r15 139r15 140r15 140r39 144r23 144r47 147r23 147r47 151r23 151r47
|
||
|
|
. 155r23 155r47 158r26 158r50 161r26 161r50 165r26 165r50 168r26 168r50 5|50r17
|
||
|
|
. 64r29 64r53 69r11 70r11 70r42 77r33 77r57 78r18 80r18 81r18 82r18 126r37
|
||
|
|
. 128r40 130r37 152r21 161r21 178r25 178r49 179r14 195r15 206r32 206r56 207r14
|
||
|
|
. 239r26 239r50 265r14 266r14 267r14 278r15 279r15 280r15 281r15 293r26 293r50
|
||
|
|
. 318r25 318r49 333r14 338r32 338r56 363r26 363r50 389r14 390r14 391r14 401r25
|
||
|
|
. 405r17 415r15 416r15 417r15 418r15 431r34 435r17 446r26 446r50 447r37 449r38
|
||
|
|
. 472r20 473r31 484r15 485r14 486r17 510r22 510r46 516r14 521r29 521r53 533r23
|
||
|
|
. 533r47 534r27 535r27 536r27 537r18 560r22 560r46 569r20 574r29 574r53 575r11
|
||
|
|
. 582r12 603r23 603r47 618r20 625r22 625r46 626r16 633r17 640r10 651r29 651r53
|
||
|
|
. 652r11 653r11 668r12 669r17 676r13 683r12 690r10 703r11 704r11 704r42 706r18
|
||
|
|
. 707r18 715r15 722r17 724r17 734r22 734r46 746r14 751r28 751r52 766r14 775r22
|
||
|
|
. 775r46 781r14 786r29 786r53 787r11 800r12 809r21 815r14 822r23 822r47 823r27
|
||
|
|
. 824r27 825r27 826r27 827r18 829r46 887r23 887r47 898r14 907r22 907r46 918r14
|
||
|
|
. 923r29 923r53 924r11 934r12 953r23 953r47 954r21 955r21 956r21 958r21 959r21
|
||
|
|
. 960r21 961r21 963r27 965r17 966r20 967r20 970r9 991r17
|
||
|
|
39k22*Generic_Elementary_Functions 2|16k13 4|37z9 170l18 170e46 5|41b27 995l18
|
||
|
|
. 995t46
|
||
|
|
42V13*Sqrt 42>19 43r14 44r34 45r34 62r53 5|115s23 137s28 142s44 147s41 147s47
|
||
|
|
. 226s23 248s17 254s26 356s26 375s31 378s26 887b13 899l8 899t12
|
||
|
|
42*19 X 44r21 45r21 62r21 5|887b19 889r10 894r13 895r17 898r49
|
||
|
|
64V13*Log 64>18 5|251s17 254s17 308s24 308s46 369s17 372s19 375s18 378s17
|
||
|
|
. 500s24 500s41 734b13 747l8 747t11
|
||
|
|
64*18 X 65r18 5|734b18 736r10 739r13 742r13 746r48
|
||
|
|
67V13*Log 67>18 67>21 5|751b13 767l8 767t11
|
||
|
|
67*18 X 68r18 5|751b18 753r10 759r13 762r13 766r48
|
||
|
|
67*21 Base 5|751b21 756r13 756r33 766r71
|
||
|
|
70V13*Exp 70>18 71r31 5|625b13 645l8 645t11
|
||
|
|
70*18 X 71r18 5|625b18 629r10 633r51
|
||
|
|
73V14*"**" 73>19 73>25 5|77b14 170l9 170t12
|
||
|
|
73*19 Left 76r52 77r21 78r21 5|77b19 85r10 90r13 96r13 103r13 107r17 112r23
|
||
|
|
. 112r30 115r29 129r29 137r34 147r53 152r55 161r55
|
||
|
|
73*25 Right 75r21 76r21 5|77b25 86r18 93r13 97r13 106r13 111r16 114r19 118r32
|
||
|
|
. 154r22 161r70
|
||
|
|
80V13*Sin 80>18 5|595s27 775b13 782l8 782t11 944s17
|
||
|
|
80*18 X 82r21 5|775b18 777r14 778r17 781r48
|
||
|
|
84V13*Sin 84>18 84>21 5|526s15 786b13 816l8 816t11
|
||
|
|
84*18 X 86r21 5|786b18 796r13 797r17 800r39
|
||
|
|
84*21 Cycle 5|786b21 790r10 800r42 808r25 809r43 815r52
|
||
|
|
88V13*Cos 88>18 5|510b13 517l8 517t11 595s17 944s27
|
||
|
|
88*18 X 90r21 5|510b18 512r14 516r48
|
||
|
|
92V13*Cos 92>18 92>21 5|521b13 527l8 527t11
|
||
|
|
92*18 X 94r21 5|521b18 526r24
|
||
|
|
92*21 Cycle 5|521b21 526r28 526r42
|
||
|
|
96V13*Tan 96>18 5|907b13 919l8 919t11
|
||
|
|
96*18 X 97r18 5|907b18 909r14 910r17 918r48
|
||
|
|
99V13*Tan 99>18 99>21 5|923b13 947l8 947t11
|
||
|
|
99*18 X 100r18 5|923b18 930r13 931r17 934r39
|
||
|
|
99*21 Cycle 5|923b21 927r10 934r42 936r25 939r27 943r19
|
||
|
|
102V13*Cot 102>18 5|560b13 570l8 570t11
|
||
|
|
102*18 X 5|560b18 562r10 565r17 566r23 569r54
|
||
|
|
104V13*Cot 104>18 104>21 5|574b13 597l8 597t11
|
||
|
|
104*18 X 5|574b18 582r39
|
||
|
|
104*21 Cycle 5|574b21 578r10 582r42 584r40 590r28 594r19
|
||
|
|
106V13*Arcsin 106>21 5|318b13 334l8 334t14
|
||
|
|
106*21 X 107r18 5|318b21 320r14 323r17 324r17 326r13 329r13 333r49
|
||
|
|
109V13*Arcsin 109>21 109>24 5|338b13 357l8 357t14
|
||
|
|
109*21 X 110r18 5|338b21 343r17 346r13 347r17 349r13 352r13 356r22 356r39
|
||
|
|
. 356r51
|
||
|
|
109*24 Cycle 5|338b24 340r10 350r17 353r19 356r61
|
||
|
|
112V13*Arccos 112>21 5|178b13 202l8 202t14
|
||
|
|
112*21 X 113r18 5|178b21 182r14 185r17 186r28 188r13 191r13 195r50
|
||
|
|
115V13*Arccos 115>21 115>24 5|206b13 233l8 233t14
|
||
|
|
115*21 X 116r18 5|206b21 213r17 216r17 219r13 222r13 226r36 226r48 226r54
|
||
|
|
115*24 Cycle 5|206b24 210r10 217r17 223r17 226r62 229r18
|
||
|
|
118V13*Arctan 119>7 120>7 5|272s14 388b13 410l8 410t14
|
||
|
|
119*7 Y 122r35 5|389b7 394r27 397r13 401r52 405r48 408r29
|
||
|
|
120*7 X 122r18 5|390b7 394r10 398r13 404r13 408r32
|
||
|
|
124V13*Arctan 125>7 126>7 127>7 5|226s15 286s14 356s14 414b13 440l8 440t14
|
||
|
|
125*7 Y 129r35 5|415b7 424r30 427r13 431r61 435r52 438r29
|
||
|
|
126*7 X 129r18 5|416b7 424r13 428r13 434r13 438r32
|
||
|
|
127*7 Cycle 5|417b7 421r10 431r20 435r39 438r38
|
||
|
|
131V13*Arccot 132>7 133>7 5|264b13 273l8 273t14
|
||
|
|
132*7 X 135r18 5|265b7 272r25
|
||
|
|
133*7 Y 135r35 5|266b7 272r22
|
||
|
|
137V13*Arccot 138>7 139>7 140>7 5|277b13 287l8 287t14
|
||
|
|
138*7 X 142r18 5|278b7 286r25
|
||
|
|
139*7 Y 142r35 5|279b7 286r22
|
||
|
|
140*7 Cycle 5|280b7 286r28
|
||
|
|
144V13*Sinh 144>19 145r31 5|822b13 881l8 881t12
|
||
|
|
144*19 X 145r18 5|822b19 825r50 833r17 876r10
|
||
|
|
147V13*Cosh 147>19 148r14 149r34 5|533b13 552l8 552t12
|
||
|
|
147*19 X 149r21 5|533b19 536r50
|
||
|
|
151V13*Tanh 151>19 152r14 153r34 5|953b13 993l8 993t12
|
||
|
|
151*19 X 153r21 5|953b19 966r43 973r10 976r13 980r17 988r17 988r21 991r52
|
||
|
|
155V13*Coth 155>19 156r18 5|603b13 619l8 619t12
|
||
|
|
155*19 X 5|603b19 605r10 608r13 611r13 614r17 615r23 618r55
|
||
|
|
158V13*Arcsinh 158>22 159r31 5|363b13 380l8 380t15
|
||
|
|
158*22 X 159r18 5|363b22 365r14 366r17 368r13 369r22 371r13 372r25 374r13
|
||
|
|
. 375r27 375r37 375r41 378r22 378r32 378r36
|
||
|
|
161V13*Arccosh 161>22 162r14 163r34 5|239b13 256l8 256t15
|
||
|
|
161*22 X 163r21 5|239b22 244r10 247r13 248r30 250r13 251r22 254r22 254r33
|
||
|
|
. 254r45
|
||
|
|
165V13*Arctanh 165>22 166r31 5|296s17 446b13 502l8 502t15
|
||
|
|
165*22 X 166r18 5|446b22 459r14 462r17 464r17 473r63 486r42 488r15
|
||
|
|
168V13*Arccoth 168>22 5|293b13 310l8 310t15
|
||
|
|
168*22 X 5|293b22 295r14 296r32 298r17 301r17 308r34 308r56
|
||
|
|
X 5 a-ngelfu.adb
|
||
|
|
45N4 Sqrt_Two 58r40
|
||
|
|
46N4 Log_Two 48r31 57r67 251r27 369r27 372r30
|
||
|
|
48N4 Half_Log_Two 56r67 473r16
|
||
|
|
50F12 T 53r23 54r23 56r35 56r40 56r47 57r35 57r40 57r43 58r35 58r57
|
||
|
|
51F12 Double{3|38F9} 152r47 152r62 161r47 161r62 195r42 333r41 516r40 569r46
|
||
|
|
. 618r47 633r43 715r42 746r40 766r40 766r63 781r40 815r40 898r41 918r40 991r44
|
||
|
|
53*4 Two_Pi{50F12} 438r46 594r27 815r60 943r27
|
||
|
|
54*4 Half_Pi{50F12} 405r39 718r22
|
||
|
|
56*4 Half_Log_Epsilon{50F12} 608r17 611r18 973r14 976r18
|
||
|
|
57*4 Log_Inverse_Epsilon{50F12} 543r17 835r17
|
||
|
|
58*4 Sqrt_Epsilon{50F12} 185r21 216r21 247r23 250r23 323r21 365r18 368r23
|
||
|
|
. 371r25 512r18 540r14 565r21 587r21 614r21 713r17 777r18 832r14 909r18 979r17
|
||
|
|
64V13 Exp_Strict 64>25 544s15 548s15 651b13 696l8 696t18 836s15 872s15
|
||
|
|
64*25 X 651b25 672r10 676r39 677r13
|
||
|
|
68V13 Local_Atan 69>7 70>7 408s17 438s17 702b13 726l8 726t18
|
||
|
|
69*7 Y 703b7 710r20 710r44 710r57 717r14 722r49 724r54
|
||
|
|
70*7 X 704b7 710r28 710r40 710r61 717r22 721r10
|
||
|
|
78*7 A_Right 118m16 125r19 126r27 128r68 130r27
|
||
|
|
79i7 Int_Part{integer} 128m19 129r37 130r54
|
||
|
|
80*7 Result 129m19 138m22 138r32 142m25 142r35 147m22 147r32 151m19 151r29
|
||
|
|
. 155r29 157r36
|
||
|
|
81*7 R1 137m22 138r41 142r50
|
||
|
|
82*7 Rest 130m19 136r22 139m22 139r30 141r25 143m25 143r33 146r25 148m22
|
||
|
|
. 148r30 152r70
|
||
|
|
179*7 Temp 195m7 197r10 198m10 198r23 201r14
|
||
|
|
207*7 Temp 226m7 228r10 229m10 229r32 232r14
|
||
|
|
447*7 A 484m10 488r19 489r28 490r28
|
||
|
|
447*10 B 488m10 500r59
|
||
|
|
447*13 D 491m10 500r63
|
||
|
|
447*16 A_Plus_1 489m10 491r15 500r29
|
||
|
|
447*26 A_From_1 490m10 491r26 500r46
|
||
|
|
449i7 Mantissa{integer} 462r37 473r48 486r45 486r66
|
||
|
|
534*7 Lnv 544r31
|
||
|
|
535*7 V2minus1 545r22
|
||
|
|
536*7 Y 540r10 543r13 544r27 548r27
|
||
|
|
537*7 Z 544m10 545r18 545r33 548m10 549r24 549r34
|
||
|
|
575*7 T 582m7 584r10 584r30 587r17 588r23 590r17 594m10 594r15 595r22 595r32
|
||
|
|
626*7 Result 633m7 640r52 644r14
|
||
|
|
652*7 G 677m7 678r12 678r16 679r12
|
||
|
|
653*7 Z 678m7 679r23 679r33 680r19 680r29 680r39
|
||
|
|
655N7 P0 679r37
|
||
|
|
656N7 P1 679r27
|
||
|
|
657N7 P2 679r18
|
||
|
|
659N7 Q0 680r43
|
||
|
|
660N7 Q1 680r33
|
||
|
|
661N7 Q2 680r23
|
||
|
|
662N7 Q3 680r14
|
||
|
|
664N7 C1 677r22
|
||
|
|
665N7 C2 677r33
|
||
|
|
666N7 Le 676r43
|
||
|
|
668*7 XN 676m7 677r17 677r28 683r49
|
||
|
|
669*7 P 679m7 681r18 681r27
|
||
|
|
669*10 Q 680m7 681r23
|
||
|
|
669*13 R 681m7 683m7 683r37 690r52 693r17
|
||
|
|
706*7 Z 710m7 713r13 713r35 714r16 715r50
|
||
|
|
707*7 Raw_Atan 712m7 718m10 718r32 722r39 724r44
|
||
|
|
787*7 T 800m7 808r14 809m10 809r50 809r55 815r48
|
||
|
|
823*7 Lnv 836r31
|
||
|
|
824*7 V2minus1 837r19
|
||
|
|
825*7 Y 826r46 826r50 832r10 835r13 836r27 839r13 852r21 852r25 866r21 866r25
|
||
|
|
. 872r27
|
||
|
|
826*7 F 852r29 852r39 852r50 866r29 866r41 866r51 866r61 867r36 867r46 867r56
|
||
|
|
827*7 Z 836m10 837m10 837r15 837r30 852m16 866m16 872m10 873m10 873r22 873r32
|
||
|
|
. 877r17 879r18
|
||
|
|
829b7 Float_Digits_1_6{boolean} 841r13
|
||
|
|
847N16 P0 852r43
|
||
|
|
848N16 P1 852r34
|
||
|
|
849N16 Q0 852r54
|
||
|
|
857N16 P0 866r65
|
||
|
|
858N16 P1 866r55
|
||
|
|
859N16 P2 866r45
|
||
|
|
860N16 P3 866r36
|
||
|
|
861N16 Q0 867r60
|
||
|
|
862N16 Q1 867r50
|
||
|
|
863N16 Q2 867r40
|
||
|
|
924*7 T 934m7 936r14 939r17 943m10 943r15 944r22 944r32
|
||
|
|
954*7 P0 985r35
|
||
|
|
955*7 P1 985r25
|
||
|
|
956*7 P2 985r16
|
||
|
|
958*7 Q0 986r46
|
||
|
|
959*7 Q1 986r36
|
||
|
|
960*7 Q2 986r26
|
||
|
|
961*7 Q3 986r17
|
||
|
|
963*7 Half_Ln3 982r17
|
||
|
|
965*7 P 985m10 987r20
|
||
|
|
965*10 Q 986m10 987r24
|
||
|
|
965*13 R 987m10 988r25
|
||
|
|
966*7 Y 967r39 967r43 979r13 982r13
|
||
|
|
967*7 G 985r21 985r31 986r22 986r32 986r42 987r15
|
||
|
|
969b7 Float_Type_Digits_15_Or_More{boolean} 983r18
|
||
|
|
|