proof(luminary099): page 1180

This commit is contained in:
Taís Massaro 2021-10-29 20:12:42 +00:00 committed by GitHub
parent c3ba960480
commit 04212dd874

View file

@ -868,16 +868,26 @@ DELTIME EXIT # MPAC=XI (+6), 0D=XSQ (+34 OR +32 -N1)
TC POLY
DEC 8
2DEC .083333334
2DEC -.266666684
2DEC .406349155
2DEC -.361198675
2DEC .210153242
2DEC -.086221951
2DEC .026268812
2DEC -.006163316
2DEC .001177342
2DEC -.000199055
TC INTPRET
STODL S(XI)
XI
@ -885,15 +895,25 @@ DELTIME EXIT # MPAC=XI (+6), 0D=XSQ (+34 OR +32 -N1)
TC POLY
DEC 8
2DEC .031250001
2DEC -.166666719
2DEC .355555413
2DEC -.406347410
2DEC .288962094
2DEC -.140117894
2DEC .049247387
2DEC -.013081923
2DEC .002806389
2DEC -.000529414
TC INTPRET
# Page 1181
DMP SRR* # PL AT 0