proof(luminary099): page 1167

This commit is contained in:
Taís Massaro 2021-10-29 18:28:56 +00:00 committed by GitHub
parent 94be0d917d
commit 0597b41ee9

View File

@ -349,7 +349,9 @@
# Page 1167 # Page 1167
# PARAM, GEOM, GETX, DELTIME, NEWSTATE # PARAM, GEOM, GETX, DELTIME, NEWSTATE
# #
#
# CALLING SEQUENCE AND NORMAL EXIT MODES - # CALLING SEQUENCE AND NORMAL EXIT MODES -
#
# IF ONLY TIME IS DESIRED AS OUTPUT - # IF ONLY TIME IS DESIRED AS OUTPUT -
# L SET CALL # MUST BE IN INTERPRETIVE MODE BUT OVFIND ARBITRARY. # L SET CALL # MUST BE IN INTERPRETIVE MODE BUT OVFIND ARBITRARY.
# L+1 RVSW # L+1 RVSW
@ -366,10 +368,12 @@
# L+5 STORE NEWRVEC # NEWVVEC AND NEWRVEC ARE SYMBOLIC REPRESENTATIONS OF THE USERS LOCATIONS. # L+5 STORE NEWRVEC # NEWVVEC AND NEWRVEC ARE SYMBOLIC REPRESENTATIONS OF THE USERS LOCATIONS.
# L+6 ... # CONTINUE. # L+6 ... # CONTINUE.
# #
#
# ABORT EXIT MODES - # ABORT EXIT MODES -
# IF COGAFLAG AND/OR INFINFLG IS SET AT THE EXIT TO TIME-THETA, TIME-THETA WILL TRANSFER TO POODOO WITH # IF COGAFLAG AND/OR INFINFLG IS SET AT THE EXIT TO TIME-THETA, TIME-THETA WILL TRANSFER TO POODOO WITH
# AN ALARM CODE (ORIGINALLY 00607), AND NOT RETURN TO THE CALLING PROGRAM. (PCR 692 AND 721). # AN ALARM CODE (ORIGINALLY 00607), AND NOT RETURN TO THE CALLING PROGRAM. (PCR 692 AND 721).
# #
#
# OUTPUT - # OUTPUT -
# * SCALE FACTOR * # * SCALE FACTOR *
# VARIABLE *IN POWERS OF 2* DESCRIPTION AND REMARKS # VARIABLE *IN POWERS OF 2* DESCRIPTION AND REMARKS