Use walrus op in asserts to keep track of alternative exprs pt 1

main.tex

@@ -462,16 +462,20 @@ bgmlv3_d_upperbound_exp_term = (
 # Verify the simplified forms of the terms that will be mentioned in text
 
 assert bgmlv3_d_upperbound_const_term == ( 
+  bgmlv3_d_upperbound_const_term_alt1 :=
 	v.twist(beta_min).ch[2]
 	+ beta_min*q
 ).expand()
 
 assert bgmlv3_d_upperbound_exp_term == (
+  bgmlv3_d_upperbound_const_term_alt2 :=
+	(
 		R*v.twist(beta_min).ch[2]
 		+ (C - q)^2/2
 		+ R*beta_min*q
 		- D*R
 	)/(r-R)
+)
 \end{sagesilent}