Skip to content

Commit

Permalink
fixed some broken html links
Browse files Browse the repository at this point in the history
  • Loading branch information
flyspeck committed Dec 26, 2015
1 parent 6ceb887 commit fa2bb83
Show file tree
Hide file tree
Showing 5 changed files with 38 additions and 38 deletions.
2 changes: 1 addition & 1 deletion documents/cplex.html
Expand Up @@ -19,7 +19,7 @@ <H3>Linear Programming Resources for Sphere Packings</H3>

<UL>
<LI> The planar graph archive applet generates graphs.
<LI> A short java program (<a href="graph/tt.java">view code</a>)
<LI> A short java program (<a href="../graph/tt.java">view code</a>)
converts it to a Mathematica format
<LI> A Mathematica program
(code <a href="cplex/MathToCplex.m">MathToCplex.m</a>)
Expand Down
10 changes: 5 additions & 5 deletions documents/description.html
Expand Up @@ -52,10 +52,10 @@ <H2>The Kepler Conjecture </H2>
Academic papers, popular articles,</a> and general reference
books on discrete geometry.
<LI>Ferguson's Ph.D.
<a href="samf/index.html">thesis</a> at the University
<a href="../samf/index.html">thesis</a> at the University
of Michigan completes one of the five steps of the proof.<br>
<LI>Sean McLaughlin has proved Fejes T&oacute;th's
<a href="dodec/index.html">
<a href="../dodec/index.html">
dodecahedral conjecture</a><br>
<!--<LI> A <a href=glossary.html>glossary</a> of terms that are
used at this site.<br>-->
Expand Down Expand Up @@ -114,12 +114,12 @@ <H2>The Kepler Conjecture </H2>
<br>
<UL>
<LI>
<a href=interval/kepler.html>Interval Package.</a> A C++ library especially
<a href=../interval/kepler.html>Interval Package.</a> A C++ library especially
designed to prove inequalities arising in the Kepler
conjecture. <br>
<LI><a href=graph/index.html>Graph Generator</a> An applet that generates all the combinatorial
<LI><a href=../graph/index.html>Graph Generator</a> An applet that generates all the combinatorial
possibilities of the Kepler conjecture.<br>
<!--<LI><a href=numerical/index.html>Inequality Checker</a> Programs to test the
<!--<LI><a href=../numerical/index.html>Inequality Checker</a> Programs to test the
specific claims
of the Kepler conjecture.<br>
-->
Expand Down
10 changes: 5 additions & 5 deletions documents/menu.html
Expand Up @@ -28,9 +28,9 @@
<a target="Frame 2" href=kephistory.html>History</a><br>
<a target="Frame 2" href=holyoke.html>Holyoke lecture</a><br>
<a target="Frame 2" href=theprogram.html>References</a><br>
<a target="Frame 2" href="samf/index.html">Ferguson's thesis</a><br>
<a target="Frame 2" href="../samf/index.html">Ferguson's thesis</a><br>
<!--<a target="Frame 2" href=glossary.html>Glossary</a><br> -->
<a target="Frame 2" href=dodec/index.html>Dodecahedral Conj.</a><br>
<a target="Frame 2" href=../dodec/index.html>Dodecahedral Conj.</a><br>
<a target="Frame 2" href=technical.html>Serious Stuff</a><br>
<a target="Frame 2" href=kepquotes.html>Notable Quotes</a><br>
<br></font>
Expand All @@ -53,10 +53,10 @@

<font size=3 face="arial,helvetica,geneva"><b>Software</b></font><br>
<font size=2>
<a target="Frame 2" href= interval/kepler.html>Interval Code</a><br>
<a target="Frame 2" href= graph/index.html>Graph Archive</a><br>
<a target="Frame 2" href= ../interval/kepler.html>Interval Code</a><br>
<a target="Frame 2" href= ../graph/index.html>Graph Archive</a><br>
<!--
<a target="Frame 2" href= numerical/index.html>Inequality Tester</a><br>
<a target="Frame 2" href= ../numerical/index.html>Inequality Tester</a><br>
<a target="Frame 2" href= cplex.html>Linear Programs</a><br>
-->
<a target="Frame 2" href= spherem.html>Mathematica</a><br>
Expand Down
52 changes: 26 additions & 26 deletions documents/technical.html
Expand Up @@ -20,7 +20,7 @@ <H3>Postscript files of the proof.</H3>
<LI> <a href="sphere2.ps">Sphere Packings II</a>, Hales
<LI> <a href="sphere3.ps">Sphere Packings III</a>, Hales
<LI> <a href="sphere4.ps">Sphere Packings IV</a>, Hales
<LI> <a href="samf/index.html">
<LI> <a href="../samf/index.html">
Sphere Packings V</a>, Ferguson
<LI> <a href="sphere6.ps">The Kepler Conjecture (VI),</a> Hales
<LI> <a href="index.ps">An index of notation and terminology</a>
Expand All @@ -43,66 +43,66 @@ <H3>Linear Programming.</H3>
the linear programming. I have links to about 3 gigabytes of cplex-format
linear programming files.
<UL>
<LI><a href="linear/BASIC/basic.zip">The crude linear programs</a>
<LI><a href="../linear/BASIC/basic.zip">The crude linear programs</a>
<LI>The batch files, cplex log files, and
Mathematica-format summaries of the cplex sessions of the
<a href="linear/BASIC/basic.zip">crude
<a href="../linear/BASIC/basic.zip">crude
linear programs.</a>

<p>
<LI>The refined linear programs for
<a href="linear/SHORT/PENT/pentall.zip">
<a href="../linear/SHORT/PENT/pentall.zip">
pentagons</a>,
<a href="linear/SHORT/PENT/pentall.zip">
<a href="../linear/SHORT/PENT/pentall.zip">
double pentagons</a>,
and
the batch files, cplex log files, and
<a href="linear/SHORT/PENT/pentall.zip">summaries</a> of the cplex sessions
<a href="../linear/SHORT/PENT/pentall.zip">summaries</a> of the cplex sessions
for pentagons.<br>
A few
cases required extra work. These
are summarized in
<a href="linear/SHORT/PENT/pentall.zip">
<a href="../linear/SHORT/PENT/pentall.zip">
log files</a> in a quasi-Mathematica format.<p>

<LI>The refined linear programs for
<a href="linear/SHORT/HEX/LP/hex.zip">
<a href="../linear/SHORT/HEX/LP/hex.zip">
hexagons </a> and
the batch files, cplex log files, and
<a href="linear/SHORT/HEX/">summaries</a> of the cplex sessions
<a href="../linear/SHORT/HEX/">summaries</a> of the cplex sessions
for hexagons<br>
A few
cases required extra work. These
are summarized in
<a href="linear/SHORT/HEX/INDEX">
<a href="../linear/SHORT/HEX/INDEX">
log files</a> in a quasi-Mathematica format.<p>

<p>
<LI>The refined linear programs for
<a href="linear/SHORT/HEPT/hept.zip">
<a href="../linear/SHORT/HEPT/hept.zip">
heptagons</a> and
the batch files, cplex log files, and
<a href="linear/SHORT/HEPT/hept.zip">summaries</a> of the cplex sessions
<a href="../linear/SHORT/HEPT/hept.zip">summaries</a> of the cplex sessions
for heptagons

<p>
<LI>The refined linear programs for
<a href="linear/SHORT/OCT/oct.zip">
<a href="../linear/SHORT/OCT/oct.zip">
octagons</a> and
the batch files, cplex log files, and
<a href="linear/SHORT/OCT/oct.zip">summaries</a> of the cplex sessions
<a href="../linear/SHORT/OCT/oct.zip">summaries</a> of the cplex sessions
for octagons
</UL>
<p>
There are three files in Mathematica format that generate the cplex-format
linear programming files.
<UL>
<LI><a href="linear/MathToCplex.m">basic routines</a>
<LI><a href="linear/MathToCplexExcept.m">exceptional region routines</a>
<LI><a href="linear/MathToCplexPent.m">pentagonal region routines</a>
<LI><a href="../linear/MathToCplex.m">basic routines</a>
<LI><a href="../linear/MathToCplexExcept.m">exceptional region routines</a>
<LI><a href="../linear/MathToCplexPent.m">pentagonal region routines</a>
</UL>
The Mathematica format sed files were created by a
<a href="linear/SHORT/getAddValues">sed program</a>
<a href="../linear/SHORT/getAddValues">sed program</a>
<p>


Expand All @@ -111,9 +111,9 @@ <H3>Linear Programming.</H3>
<H3>Planar Maps</H3>
<p>
The planar maps were generated by a
<a href="graph/">java program</a>. All the source code is
<a href="../graph/">java program</a>. All the source code is
in that directory, and the archive is contained in a
<a href="graph/archive/">subdirectory.</a>
<a href="../graph/archive/">subdirectory.</a>
The planar
map generation menu is currently disabled in the applet. To
enable this feature of the applet, change the boolean debugMode
Expand All @@ -133,13 +133,13 @@ <H3>Planar Maps</H3>
<H3>Interval arithmetic</H3>
<UL>
<LI>The cocoon-generated html-format
<a href="interval/kepler.html">summary of C++ classes.</a>
<LI>The <a href="interval/">C++ source code</a> for interval calculations
<LI>The <a href="interval/html/index.html">verifications of I,II,III.</a>
<LI>The <a href="interval/PART4/">verifications of IV.</a>
<LI>The <a href="interval/PARTK/">verifications of VI</a> (Kepler).
<a href="../interval/kepler.html">summary of C++ classes.</a>
<LI>The <a href="../interval/">C++ source code</a> for interval calculations
<LI>The <a href="../interval/html/index.html">verifications of I,II,III.</a>
<LI>The <a href="../interval/PART4/">verifications of IV.</a>
<LI>The <a href="../interval/PARTK/">verifications of VI</a> (Kepler).
<LI>
<a href="samf/index.html">
<a href="../samf/index.html">
Sam Ferguson</a> has carried out many of the interval calculations
from IV and VI, and all of the the verifications of V.
</UL>
Expand Down
2 changes: 1 addition & 1 deletion documents/theprogram.html
Expand Up @@ -22,7 +22,7 @@ <H3>Postscript files of the proof.</H3>
<LI> <a href="sphere2.ps">Sphere Packings II</a>, Hales
<LI> <a href="sphere3.ps">Sphere Packings III</a>, Hales
<LI> <a href="sphere4.ps">Sphere Packings IV</a>, Hales
<LI> <a href="samf/index.html">
<LI> <a href="../samf/index.html">
Sphere Packings V</a>, Ferguson
<LI> <a href="sphere6.ps">The Kepler Conjecture (VI),</a> Hales
<LI> <a href="index.ps">An index of notation and terminology</a>
Expand Down

0 comments on commit fa2bb83

Please sign in to comment.