Skip to content
Snippets Groups Projects
Commit 37ce0b96 authored by Luke Naylor's avatar Luke Naylor
Browse files

Rename inappropriately name sage var 'beta_min' to 'beta'

parent 4f53708c
No related branches found
No related tags found
No related merge requests found
...@@ -167,10 +167,10 @@ $\chern(F)$, and so we can write: ...@@ -167,10 +167,10 @@ $\chern(F)$, and so we can write:
\begin{sagesilent} \begin{sagesilent}
ts = stability.Tilt ts = stability.Tilt
beta_min = var("beta", domain="real") beta = var("beta", domain="real")
c_lower_bound = -( c_lower_bound = -(
ts(beta=beta_min).rank(u) ts(beta=beta).rank(u)
/ts().alpha /ts().alpha
).expand() + c ).expand() + c
...@@ -275,10 +275,10 @@ assert bgmlv1_d_lowerbound_const_term == ( ...@@ -275,10 +275,10 @@ assert bgmlv1_d_lowerbound_const_term == (
bgmlv1_d_lowerbound_const_term_alt := bgmlv1_d_lowerbound_const_term_alt :=
( (
chbv/2 chbv/2
+ beta_min*q + beta*q
) )
) )
.subs(chbv == v.twist(beta_min).ch[2]) .subs(chbv == v.twist(beta).ch[2])
.expand() .expand()
) )
...@@ -288,12 +288,12 @@ assert bgmlv1_d_lowerbound_exp_term == ( ...@@ -288,12 +288,12 @@ assert bgmlv1_d_lowerbound_exp_term == (
bgmlv1_d_lowerbound_exp_term_alt := bgmlv1_d_lowerbound_exp_term_alt :=
( (
- R*chbv/2 - R*chbv/2
- R*beta_min*q - R*beta*q
+ C*q + C*q
- q^2 - q^2
)/(R-2*r) )/(R-2*r)
) )
.subs(chbv == v.twist(beta_min).ch[2]) .subs(chbv == v.twist(beta).ch[2])
.expand() .expand()
) )
\end{sagesilent} \end{sagesilent}
...@@ -502,10 +502,10 @@ assert bgmlv3_d_upperbound_const_term == ( ...@@ -502,10 +502,10 @@ assert bgmlv3_d_upperbound_const_term == (
# keep hold of this alternative expression: # keep hold of this alternative expression:
bgmlv3_d_upperbound_const_term_alt := ( bgmlv3_d_upperbound_const_term_alt := (
chbv chbv
+ beta_min*q + beta*q
) )
) )
.subs(chbv == v.twist(beta_min).ch[2]) # subs real val of ch_1^\beta(v) .subs(chbv == v.twist(beta).ch[2]) # subs real val of ch_1^\beta(v)
.expand() .expand()
) )
...@@ -516,11 +516,11 @@ assert bgmlv3_d_upperbound_exp_term == ( ...@@ -516,11 +516,11 @@ assert bgmlv3_d_upperbound_exp_term == (
( (
R*chbv R*chbv
+ (C - q)^2/2 + (C - q)^2/2
+ R*beta_min*q + R*beta*q
- D*R - D*R
)/(r-R) )/(r-R)
) )
.subs(chbv == v.twist(beta_min).ch[2]) # subs real val of ch_1^\beta(v) .subs(chbv == v.twist(beta).ch[2]) # subs real val of ch_1^\beta(v)
.expand() .expand()
) )
\end{sagesilent} \end{sagesilent}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment