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

main.tex

@@ -461,11 +461,19 @@ bgmlv3_d_upperbound_exp_term = (
 
 # Verify the simplified forms of the terms that will be mentioned in text
 
+var("chbv",domain="real") # symbol to represent ch_1^\beta(v)
+
 assert bgmlv3_d_upperbound_const_term == ( 
-  bgmlv3_d_upperbound_const_term_alt1 :=
-	v.twist(beta_min).ch[2]
-	+ beta_min*q
-).expand()
+	(
+		# keep hold of this alternative expression:
+		bgmlv3_d_upperbound_const_term_alt1 := (
+			chbv
+			+ beta_min*q
+		)
+	)
+	.subs(chbv == v.twist(beta_min).ch[2]) # subs real val of ch_1^\beta(v)
+	.expand()
+)
 
 assert bgmlv3_d_upperbound_exp_term == (
   bgmlv3_d_upperbound_const_term_alt2 :=