diff --git a/main.tex b/main.tex index 5120dc155a51239fcd5d7dbc869580105fe74121..9eb8b66c9ffacdd672aba32f138f56b76f1db984 100644 --- a/main.tex +++ b/main.tex @@ -556,19 +556,19 @@ vertical wall (TODO as discussed in ref). \begin{align} d &\geq& - \sage{bgmlv1_d_lowerbound_const_term_alt.subs(chbv == 0)} - &+ \sage{bgmlv1_d_lowerbound_linear_term} - &+ \sage{bgmlv1_d_lowerbound_exp_term_alt.subs(chbv == 0)} + \sage{bgmlv1_d_lowerbound_linear_term} + &+ \sage{bgmlv1_d_lowerbound_const_term_alt.subs(chbv == 0)} + +& \sage{bgmlv1_d_lowerbound_exp_term_alt.subs(chbv == 0)} \\ d &\leq& - \sage{bgmlv2_d_upperbound_const_term} - &+ \sage{bgmlv2_d_upperbound_linear_term} - &+ \sage{bgmlv2_d_upperbound_exp_term} + \sage{bgmlv2_d_upperbound_linear_term} + &+ \sage{bgmlv2_d_upperbound_const_term} + +& \sage{bgmlv2_d_upperbound_exp_term} \\ d &\leq& - \sage{bgmlv3_d_upperbound_const_term_alt.subs(chbv == 0)} - &+ \sage{bgmlv3_d_upperbound_linear_term} - &+ \sage{bgmlv3_d_upperbound_exp_term_alt.subs(chbv == 0)} + \sage{bgmlv3_d_upperbound_linear_term} + &+ \sage{bgmlv3_d_upperbound_const_term_alt.subs(chbv == 0)} + +& \sage{bgmlv3_d_upperbound_exp_term_alt.subs(chbv == 0)} \end{align}