proof(luminary099): page 1170

This commit is contained in:
Taís Massaro 2021-10-29 19:01:46 +00:00 committed by GitHub
parent d4ce84b14b
commit 056ea78cf9

View File

@ -469,9 +469,11 @@
# RVSW * NONE * AN INTERPRETIVE SWITCH TO BE SET IF ONLY TIME IS TO BE AN OUTPUT, CLEAR IF THE NEW STATE
# * * IS TO BE COMPUTED ALSO.
#
#
# SUBROUTINES CALLED -
# PARAM, GEOM, GETX, DELTIME, NEWSTATE
#
#
# CALLING SEQUENCE AND NORMAL EXIT MODES -
#
# IF ONLY TIME IS DESIRED AS OUTPUT -
@ -490,15 +492,17 @@
# L+5 STORE NEWRVEC # NEWVVEC AND NEWRVEC ARE SYMBOLIC REPRESENTATIONS OF THE USERS LOCATIONS.
# ... # CONTINUE
#
#
# ABORT EXIT MODES -
# IF SOLNSW AND/OR COGAFLAG AND/OR INFINFLG IS SET AT THE EXIT TO TIME-RADIUS, TIME-RADIUS WILL TRANSFER
# TO POODOO WITH AN ALARM CODE (ORIGINALLY 00607), AND NOT RETURN TO THE CALLING PROGRAM. (PCR 692 & 721)
#
#
# OUTPUT -
# * SCALE FACTOR *
# VARIABLE *IN POWERS OF 2* DESCRIPTION AND REMARKS
# -------- *--------------* -----------------------
# T (30D) * +28 * DP TRANSFER TIME IN CENTISECONDS.
# T (30D) * +28 * DP TRANSFER TIME IN CENTISECONDS
# INFINFLG * NONE * AN INTERPRETIVE SWITCH WHICH IS SET IF RDESIRED AND SGNRDOT REQUIRE CLOSURE THROUGH
# * * INFINITY (NO SOLUTION), CLEAR IF A PHYSICAL SOLUTION IS POSSIBLE.
# COGAFLAG * NONE * AN INTERPRETIVE SWITCH WHICH IS SET IF RESTRICTION 1 HAS BEEN VIOLATED (NO SOLUTION),