From c41141fd537087af80bbd4624719e8bd7e372f9c Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 2 May 2023 19:16:00 +0100
Subject: [PATCH] Shorten some more SageMath lines
---
main.tex | 27 ++++++++++++++++++++++-----
1 file changed, 22 insertions(+), 5 deletions(-)
diff --git a/main.tex b/main.tex
index 1218309..8ec7884 100644
--- a/main.tex
+++ b/main.tex
@@ -341,12 +341,22 @@ bgmlv2_d_lowerbound = bgmlv2_d_ineq.rhs()
\begin{sagesilent}
# Seperate out the terms of the lower bound for d
-bgmlv2_d_lowerbound_without_hyp = bgmlv2_d_lowerbound.subs(1/r == 0)
-bgmlv2_d_lowerbound_const_term = bgmlv2_d_lowerbound_without_hyp.subs(r==0)
+
+bgmlv2_d_lowerbound_without_hyp = (
+ bgmlv2_d_lowerbound
+ .subs(1/r == 0)
+)
+
+bgmlv2_d_lowerbound_const_term = (
+ bgmlv2_d_lowerbound_without_hyp
+ .subs(r==0)
+)
+
bgmlv2_d_lowerbound_linear_term = (
bgmlv2_d_lowerbound_without_hyp
- bgmlv2_d_lowerbound_const_term
).expand()
+
bgmlv2_d_lowerbound_exp_term = (
bgmlv2_d_lowerbound
- bgmlv2_d_lowerbound_without_hyp
@@ -415,7 +425,8 @@ bgmlv3_d_ineq = (
)
# Check that this equation represents a bound for d
-assert bgmlv3_d_ineq.lhs() == d, f"Inequality is of the form: {bgmlv3_d_ineq}"
+assert bgmlv3_d_ineq.lhs() == d
+
bgmlv3_d_upperbound = bgmlv3_d_ineq.rhs() # Keep hold of lower bound for d
\end{sagesilent}
@@ -427,9 +438,15 @@ bgmlv3_d_upperbound = bgmlv3_d_ineq.rhs() # Keep hold of lower bound for d
\begin{sagesilent}
# Seperate out the terms of the lower bound for d
-bgmlv3_d_upperbound_without_hyp = bgmlv3_d_upperbound.subs(1/(R-r) == 0)
+bgmlv3_d_upperbound_without_hyp = (
+ bgmlv3_d_upperbound
+ .subs(1/(R-r) == 0)
+)
-bgmlv3_d_upperbound_const_term = bgmlv3_d_upperbound_without_hyp.subs(r==0)
+bgmlv3_d_upperbound_const_term = (
+ bgmlv3_d_upperbound_without_hyp
+ .subs(r==0)
+)
bgmlv3_d_upperbound_linear_term = (
bgmlv3_d_upperbound_without_hyp
--
GitLab