Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
M
Max Destabilizer Rank
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
luke naylor latex documents
research
Max Destabilizer Rank
Commits
feb75711
Commit
feb75711
authored
8 months ago
by
Luke Naylor
Browse files
Options
Downloads
Patches
Plain Diff
Complete adding listing for chapter 5
parent
ed5b9f24
No related branches found
No related tags found
No related merge requests found
Pipeline
#39942
failed
8 months ago
Stage: test
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
Makefile
+7
-1
7 additions, 1 deletion
Makefile
tex/computing-solutions.tex
+22
-5
22 additions, 5 deletions
tex/computing-solutions.tex
tilt.rs
+1
-1
1 addition, 1 deletion
tilt.rs
with
30 additions
and
7 deletions
Makefile
+
7
−
1
View file @
feb75711
...
...
@@ -38,7 +38,7 @@ $(1).rs.tex.git-untrack: $(1).rs
chromacode
-r
-f
-i
$(
1
)
.rs
-o
$(
1
)
.rs.tex.git-untrack
endef
RUSTSNIPPETSBASE
=
tilt.rs/src/tilt_stability/considered_b_for_beta.git-untrack tilt.rs/src/tilt_stability/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack
RUSTSNIPPETSBASE
=
tilt.rs/src/tilt_stability/considered_b_for_beta.git-untrack tilt.rs/src/tilt_stability/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/possible_chern2.git-untrack
RUSTBASENAMES
=
$(
sort
$(
basename
$(
wildcard tilt.rs/src/
*
.rs
))
$(
basename
$(
wildcard tilt.rs/src/
**
/
*
.rs
))
${
RUSTSNIPPETSBASE
})
$(
foreach
_base,
$(
RUSTBASENAMES
)
,
$(
eval
$(
call RUST_TO_TEX_RULE,
$(
_base
))))
...
...
@@ -56,6 +56,12 @@ tilt.rs/src/tilt_stability/find_all.git-untrack.rs: tilt.rs/src/tilt_stability/l
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack.rs
:
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta.rs
sed
-n
-e
'128,137p'
$^
>
$@
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/find_all.git-untrack.rs
:
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/fixed_r.rs
sed
-n
-e
'37,42p'
$^
>
$@
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/possible_chern2.git-untrack.rs
:
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/fixed_r.rs
sed
-n
-e
'44,69p'
$^
>
$@
# MISCELANEOUS
.PHONY
:
clean nosage noappendix
...
...
This diff is collapsed.
Click to expand it.
tex/computing-solutions.tex
+
22
−
5
View file @
feb75711
...
...
@@ -162,13 +162,13 @@ This is shown in Listing \ref{fig:code:reducingtoeachr}.
\lstinputlisting
[
firstnumber=128,
float,
caption=
{
\raggedleft\texttt
{
tilt
_
stability::left
_
pseudo
_
semistabilizers
\\
::fixed
_
q
_
beta::Problem
_
Data::find
_
all
}}
,
caption=
{
\raggedleft\texttt
{
tilt
_
stability::left
_
pseudo
_
semistabilizers
\\
::fixed
_
q
_
beta::ProblemData::find
_
all
}}
,
label=
{
fig:code:reducingtoeachr
}
]
{
../tilt.rs/src/tilt
_
stability/left
_
pseudo
_
semistabilizers/find
_
all.git-untrack.rs.tex.git-untrack
}
\subsubsection
{
Iterating Over Possible
\texorpdfstring
{$
d
=
\chern
_
2
(
u
)
$}{
d
}
\texorpdfstring
{$
d
=
\chern
_
2
(
u
)
/
\ell
^
2
$}{
d
}
for Fixed
\texorpdfstring
{$
r
=
\chern
_
0
(
u
)
$}{
r
}
and
...
...
@@ -191,13 +191,30 @@ gives us that these solutions are precisely
such that three numerical conditions are met
(
$
\chern
^{
\beta
_{
-
}}
(
u
)
>
0
$
,
$
\Delta
(
u
)
\geq
0
$
,
$
\Delta
(
v
-
u
)
\geq
0
$
).
Subsection
\ref
{
subsec:bounds-on-d
}
from the previous
C
hapter showed that these conditions are
equivalent to bounds on
$
d
$
given by the
E
quations
from the previous
c
hapter showed that these conditions are
equivalent to bounds on
$
d
$
given by the
e
quations
in Subsubsection
\ref
{
subsubsect:all-bounds-on-d-prob2
}
It therefore remains to just pick values
$
d
\in\frac
{
1
}{
\lcm
(
m,
2
n
^
2
)
}
\ZZ
$
within the bounds.
Listing
\ref
{
fig:code:solveforfixedr
}
is the code for solving this
specialisation of the problem, where the possible
$
d
$
values are computed in
Listing
\ref
{
fig:code:possible
_
chern2
}
.
The explicit code for the bounds can be found in the appendix at
\ref
{
appendix:subsubsec:fixed-r
}
.
{
\color
{
red
}
TODO INSERT SNIPPET
}
\lstinputlisting
[
firstnumber=37,
float,
caption=
{
\raggedleft\texttt
{
tilt
_
stability::left
_
pseudo
_
semistabilizers
\\
::fixed
_
q
_
beta::fixed
_
r::ProblemData::find
_
all
}}
,
label=
{
fig:code:solveforfixedr
}
]
{
../tilt.rs/src/tilt
_
stability/left
_
pseudo
_
semistabilizers/fixed
_
q
_
beta/find
_
all.git-untrack.rs.tex.git-untrack
}
\lstinputlisting
[
firstnumber=44,
float,
caption=
{
\raggedleft\texttt
{
tilt
_
stability::left
_
pseudo
_
semistabilizers
\\
::fixed
_
q
_
beta::fixed
_
r::ProblemData::possible
_
chern2
}}
,
label=
{
fig:code:possible
_
chern2
}
]
{
../tilt.rs/src/tilt
_
stability/left
_
pseudo
_
semistabilizers/fixed
_
q
_
beta/possible
_
chern2.git-untrack.rs.tex.git-untrack
}
\subsection
{
Benchmarking Different Bounds
}
...
...
This diff is collapsed.
Click to expand it.
tilt.rs
@
6689d9a0
Compare
63df8641
...
6689d9a0
Subproject commit 6
3df86414d22b14802518868002a1b5b2dfa6dd2
Subproject commit 6
689d9a00a4378a45842340f49533970ade268ef
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment