proof(luminary099): page 1190

This commit is contained in:
Taís Massaro 2021-10-29 20:42:55 +00:00 committed by GitHub
parent c3ba960480
commit 9ef358eb76

View File

@ -1251,11 +1251,17 @@ POLYCOEF BMN PUSH # 0D=1/W (+2) OR 16/W (+6) PL AT 2
# Page 1190 # Page 1190
DEC 5 DEC 5
2DEC .5 2DEC .5
2DEC -.166666770 2DEC -.166666770
2DEC .100000392 2DEC .100000392
2DEC -.071401086 2DEC -.071401086
2DEC .055503292 2DEC .055503292
2DEC -.047264098 2DEC -.047264098
2DEC .040694204 2DEC .040694204
TC INTPRET TC INTPRET
@ -1269,6 +1275,7 @@ XCOMMON DSQ NORM
R1A R1A
0 -12D,1 0 -12D,1
STODL XI # XI (+6) STODL XI # XI (+6)
R1 R1
SR1 SQRT SR1 SQRT
ROUND DMP ROUND DMP