From ded312a94858249eb9d87c2e505eaa6e4c9af8f9 Mon Sep 17 00:00:00 2001
From: GannonTdW <32203939+GannonTdW@users.noreply.github.com>
Date: Sun, 1 Mar 2020 22:09:33 +0100
Subject: [PATCH] Proof P76 #619 (#662)

---
 Luminary099/P76.agc | 43 ++++++++++++++++++++-----------------------
 1 file changed, 20 insertions(+), 23 deletions(-)

diff --git a/Luminary099/P76.agc b/Luminary099/P76.agc
index ff167e2..085213f 100644
--- a/Luminary099/P76.agc
+++ b/Luminary099/P76.agc
@@ -27,24 +27,24 @@
 #	16:27 JULY 14, 1969
 
 # Page 709
-# 1)	PROGRAM NAME -- TARGET DELTA V PROGRAM (P76).
-# 2)	FUNCTIONAL DESCRIPTION -- UPON ENTRY BY ASTRONAUT ACTION, P76 FLASHES DSKY REQUESTS TO THE ASTRONAUT
-#	TO PROVIDE VIA DSKY (1) THE DELTA V TO BE APPLIED TO THE OTHER VEHICLE STATE VECTOR AND (2) THE
-#	TIME (TIG) AT WHICH THE OTHER VEHICLE VELOCITY WAS CHANGED BY EXECUTION OF A THRUSTING MANEUVER. THE
-#	OTHER VEHICLE STATE VECTOR IS INTEGRATED TO TIG AND UPDATED BY THE ADDITION OF DELTA V (DELTA V HAVING
-#	BEEN TRANSFORMED FROM LV TO REF COSYS).  USING INTEGRVS, THE PROGRAM THEN INTEGRATES THE OTHER
-#	VEHICLE STATE VECTOR TO THE STATE VECTOR OF THIS VEHICLE, THUS INSURING THAT THE W-MATRIX AND BOTH VEHICLE
-#	STATES CORRESPOND TO THE SAME TIME.
-# 3)	ERASABLE INIITIALIZATION REQUIRED -- NONE.
-# 4)	CALLING SEQUENCES AND EXIT MODES -- CALLED BY ASTRONAUT REQUEST THRU DSKY V 37 E 76E.
-#	EXITS BY TCF ENDOFJOB.
-# 5)	OUTPUT -- OTHER VEHICLE STATE VECTOR INTEGRATED TO TIG AND INCREMENTED BY DELTA V IN REF COSYS.
-#	THE PUSHLIST CONTAINS THE MATRIX BY WHICH THE INPUT DELTA V MUST BE POST-MULTIPLIED TO CONVERT FROM LV
-#	TO REF COSYS.
-# 6)	DEBRIS -- OTHER VEHICLE STATE VECTOR.
-# 7)	SUBROUTINES CALLED -- BANKCALL, GOXDSPF, CSMPREC (OR LEMPREC), ATOPCSM (OR ATOPLEM), INTSTALL, INTWAKE, PHASCHNG
-#	INTPRET, INTEGRVS, AND MINIRECT.
-# 8)	FLAG USE -- MOONFLAG, CMOONFLG, INTYPFLG, RASFLAG, AND MARKCTR.
+# 1) PROGRAM NAME - TARGET DELTA V PROGRAM (P76).
+# 2) FUNCTIONAL DESCRIPTION - UPON ENTRY BY ASTRONAUT ACTION, P76 FLASHES DSKY REQUESTS TO THE ASTRONAUT
+#    TO PROVIDE VIA DSKY (1) THE DELTA V TO BE APPLIED TO THE OTHER VEHICLE STATE VECTOR AND (2) THE
+#    TIME (TIG) AT WHICH THE OTHER VEHICLE VELOCITY WAS CHANGED BY EXECUTION OF A THRUSTING MANEUVER. THE
+#    OTHER VEHICLE STATE VECTOR IS INTEGRATED TO TIG AND UPDATED BY THE ADDITION OF DELTA V (DELTA V HAVING
+#    BEEN TRANSFORMED FROM LV TO REF COSYS).  USING INTEGRVS, THE PROGRAM THEN INTEGRATES THE OTHER
+#    VEHICLE STATE VECTOR TO THE STATE VECTOR OF THIS VEHICLE, THUS INSURING THAT THE W-MATRIX AND BOTH VEHICLE
+#    STATES CORRESPOND TO THE SAME TIME.
+# 3) ERASABLE INIITIALIZATION REQUIRED - NONE.
+# 4) CALLING SEQUENCES AND EXIT MODES - CALLED BY ASTRONAUT REQUEST THRU DSKY V 37 E 76 E.
+#    EXITS BY TCF ENDOFJOB.
+# 5) OUTPUT -- OTHER VEHICLE STATE VECTOR INTEGRATED TO TIG AND INCREMENTED BY DELTA V IN REF COSYS.
+#    THE PUSHLIST CONTAINS THE MATRIX BY WHICH THE INPUT DELTA V MUST BE POST-MULTIPLIED TO CONVERT FROM LV
+#    TO REF COSYS.
+# 6) DEBRIS - OTHER VEHICLE STATE VECTOR.
+# 7) SUBROUTINES CALLED - BANKCALL, GOXDSPF, CSMPREC (OR LEMPREC), ATOPCSM (OR ATOPLEM), INTSTALL, INTWAKE, PHASCHNG
+#    INTPRET, INTEGRVS, AND MINIRECT.
+# 8) FLAG USE - MOONFLAG, CMOONFLG, INTYPFLG, RASFLAG, AND MARKCTR.
 
 		BANK	30
 		SETLOC	P76LOC
@@ -85,10 +85,10 @@ COMPMAT		VLOAD	UNIT
 			RATT
 		VCOMP			# U(-R)
 		STORE	24D		# U(-R) TO 24D
-		VXV	UNIT		# U(-R) X V = U(V X R)
+		VXV	UNIT		# U(-R) XV = U(VXR)
 			VATT
 		STORE	18D
-		VXV	UNIT		# U(V X R) X U(-R) = U((R X V) X R)
+		VXV	UNIT		# U(VXR)XU(-R) = U((RXV)XR)
 			24D
 		STOVL	12D
 			DELVOV
@@ -159,6 +159,3 @@ P76SUB1		AXT,2	SET
 			0
 		CLEAR	RVQ
 			MOONFLAG
-
-
-