* Proof Luminary099/R31.agc

* Apply suggestions from code review

* Resolve requested changes

Co-authored-by: Matěj Havránek <havrama5@fit.cvut.cz>
Co-authored-by: James Harris <wopian@wopian.me>
This commit is contained in:
Dex 2020-10-07 03:14:08 +02:00 committed by GitHub
parent 9de167ee9e
commit 1c31c32d0c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -67,12 +67,12 @@ DISPN5X CAF V16N54
V83CALL CS FLAGWRD7 # TEST AVERAGE G FLAG
MASK AVEGFBIT
EXTEND
BZF MUNG? # ON. TEST MUNFLAG
BZF MUNG? # ON - TEST MUNFLAG
CS FLAGWRD8
MASK SURFFBIT
EXTEND
BZF ONEBASE # ON SURFACE -- BYPASS LEMPREC
BZF ONEBASE # ON SURFACE - BYPASS LEMPREC
TC INTPRET # EXTRAPOLATE BOTH STATE VECTORS
RTB
@ -104,7 +104,7 @@ REV83 CS FLAGWRD7
CS FLAGWRD8
MASK SURFFBIT
EXTEND
BZF R31SURF # IF ON SURFACE, USE LEMAREC
BZF R31SURF # IF ON SURFACE,USE LEMAREC
TC INTPRET # DO CONIC EXTRAPOLATION FOR BOTH VEHICLES
RTB
@ -125,13 +125,13 @@ REV83 CS FLAGWRD7
SET
INTYPFLG # CONIC EXTRAP.
STCALL TET
INTEGRVS # INTEGRATION --- AT LAST ---
INTEGRVS # INTEGRATION --- AT LAST---
OTHCONIC VLOAD
# Page 705
RATT
STOVL RONE
VATT
STCALL VONE # GET SET FOR CONIC EXTRAP., OTHER.
STCALL VONE # GET SET FOR CONIC EXTRAP.,OTHER.
INTSTALL
SET DLOAD
INTYPFLG
@ -160,7 +160,7 @@ COMPDISP VLOAD VSU
0,1
STOVL RANGE # SCALED 2(29)M
VATT
VSU DOT # (VCM-VLM).UNIT(LOS), PD=0
VSU DOT # (VCM- VLM).UNIT(LOS). PD=0
VONE
SL1 # SCALED 2(7)M/CS
STOVL RRATE
@ -169,9 +169,9 @@ COMPDISP VLOAD VSU
UNITZ
CALL
CDU*NBSM
VXM PUSH # UNIT(Z)/4 TO PD 6-11
VXM PUSH # UNIT (Z)/4 TO PD 6-11
REFSMMAT
VPROJ VSL2 # UNIT(P)=UNIT(UZ-(UZ)PROJ(UR))
VPROJ VSL2 # UNIT(P)=UNIT(UZ -(UZ)PROJ(UR))
0D
BVSU UNIT
6D
@ -179,10 +179,10 @@ COMPDISP VLOAD VSU
0D # UNIT(RL)
VONE
# Page 706
VXV DOT # (UR * VL) * UR . U(P)
VXV DOT # (UR * VL)*UR . U(P)
0D
12D
PDVL # SIGN TO 12-13, LOAD U(P)
PDVL # SIGN TO 12-13 , LOAD U(P)
DOT SIGN
6D
12D
@ -190,7 +190,7 @@ COMPDISP VLOAD VSU
STOVL RTHETA
0D
DOT BPL # IF UR.UZ NEG,
6D # RTHETA = 1 - RTHETA
6D # RTHETA = 1 - RTHETA
+5
DLOAD DSU
DPPOSMAX
@ -201,7 +201,7 @@ COMPDISP VLOAD VSU
CA BIT5
MASK EXTVBACT
EXTEND # IF ANSWERED,
BZF ENDEXT # TERMINATE
BZF ENDEXT # TERMINATE
CS EXTVBACT
MASK BIT12
@ -212,12 +212,12 @@ GETRVN CA PRIO22 # INHIBIT SERVICER
TC PRIOCHNG
TC INTPRET
VLOAD SETPD
RN # LM STATE VECTOR IN RN,VN.
RN # LM STATE VECTOR IN RN,VN
0
STOVL RONE
VN
STOVL VONE # LOAD R(CSM),V(CSM) IN CASE MUNFLAG SET
V(CSM) # (TO INSURE TIME COMPATIBILITY)
V(CSM) # (TO INSURE TIME COMPATABILITY)
PDVL PDDL
R(CSM)
PIPTIME
@ -246,7 +246,7 @@ GETRVN2 CALL
OTHINT
R31SURF TC INTPRET
RTB # LM IS ON SURFACE, SO PRECISION
LOADTIME # INTEGRATION USED PLANETARY INERTIAL
LOADTIME # INTEGRATION USES PLANETARY INERTIAL
STCALL TDEC1 # ORIENTATION SUBROUTINE
LEMPREC
GOTO # DO CSM CONIC
@ -264,4 +264,3 @@ ONEBASE TC INTPRET # GET CSM BASE VECTOR
V16N54 VN 1654
# Page 708 (empty page)