1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (HAP commands) - Chapter 31: Knots and Links</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap31" onload="jscontent()">
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chap20.html">20</a> <a href="chap21.html">21</a> <a href="chap22.html">22</a> <a href="chap23.html">23</a> <a href="chap24.html">24</a> <a href="chap25.html">25</a> <a href="chap26.html">26</a> <a href="chap27.html">27</a> <a href="chap28.html">28</a> <a href="chap29.html">29</a> <a href="chap30.html">30</a> <a href="chap31.html">31</a> <a href="chap32.html">32</a> <a href="chap33.html">33</a> <a href="chap34.html">34</a> <a href="chap35.html">35</a> <a href="chap36.html">36</a> <a href="chap37.html">37</a> <a href="chap38.html">38</a> <a href="chap39.html">39</a> <a href="chap40.html">40</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap30.html">[Previous Chapter]</a> <a href="chap32.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap31_mj.html">[MathJax on]</a></p>
<p><a id="X82DADC508677F1EE" name="X82DADC508677F1EE"></a></p>
<div class="ChapSects"><a href="chap31.html#X82DADC508677F1EE">31 <span class="Heading"> Knots and Links</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap31.html#X7CFDEEC07F15CF82">31.1 <span class="Heading"> </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X869065F77C4761EC">31.1-1 PureCubicalKnot</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X7C7B70C2788884AC">31.1-2 ViewPureCubicalKnot</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X7D86D13C822D59A9">31.1-3 KnotSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X797F8D4A848DD9BC">31.1-4 KnotGroup</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X7A87E5EB82E67589">31.1-5 AlexanderMatrix</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X7DC474EE7A909563">31.1-6 AlexanderPolynomial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X853774F885B17523">31.1-7 ProjectionOfPureCubicalComplex</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap31.html#X7D8681B079E019C0">31.1-8 ReadPDBfileAsPureCubicalComplex</a></span>
</div></div>
</div>
<h3>31 <span class="Heading"> Knots and Links</span></h3>
<p><a id="X7CFDEEC07F15CF82" name="X7CFDEEC07F15CF82"></a></p>
<h4>31.1 <span class="Heading"> </span></h4>
<p><a id="X869065F77C4761EC" name="X869065F77C4761EC"></a></p>
<h5>31.1-1 PureCubicalKnot</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PureCubicalKnot</code>( <var class="Arg">L</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PureCubicalKnot</code>( <var class="Arg">n</var>, <var class="Arg">i</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a list <span class="SimpleMath">L=[[m1,n1], [m2,n2], ..., [mk,nk]]</span> of pairs of integers describing a cubical arc presentation of a link with all vertical lines at the front and all horizontal lines at the back. The bottom horizontal line extends from the m1-th column to the n1-th column. The second to bottom horizontal line extends from the m2-th column to the n2-th column. And so on. The link is returned as a 3-dimensional pure cubical complex.</p>
<p>Alternatively the function inputs two integers <span class="SimpleMath">n</span>, <span class="SimpleMath">i</span> and returns the <span class="SimpleMath">i</span>-th prime knot on <span class="SimpleMath">n</span> crossings.</p>
<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap1.html">1</a></span> , <span class="URL"><a href="../tutorial/chap2.html">2</a></span> , <span class="URL"><a href="../tutorial/chap3.html">3</a></span> , <span class="URL"><a href="../tutorial/chap4.html">4</a></span> , <span class="URL"><a href="../tutorial/chap6.html">5</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutCoveringSpaces.html">6</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutCoverinSpaces.html">7</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutQuandles2.html">8</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutQuandles.html">9</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutKnots.html">10</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutKnotsQuandles.html">11</a></span> </p>
<p><a id="X7C7B70C2788884AC" name="X7C7B70C2788884AC"></a></p>
<h5>31.1-2 ViewPureCubicalKnot</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ViewPureCubicalKnot</code>( <var class="Arg">L</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a pure cubical link <span class="SimpleMath">L</span> and displays it.</p>
<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap1.html">1</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutKnots.html">2</a></span> </p>
<p><a id="X7D86D13C822D59A9" name="X7D86D13C822D59A9"></a></p>
<h5>31.1-3 KnotSum</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ KnotSum</code>( <var class="Arg">K</var>, <var class="Arg">L</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs two pure cubical knots <span class="SimpleMath">K</span>, <span class="SimpleMath">L</span> and returns their sum as a pure cubical knot. This function is not defined for links with more than one component.</p>
<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap2.html">1</a></span> , <span class="URL"><a href="../tutorial/chap3.html">2</a></span> , <span class="URL"><a href="../tutorial/chap6.html">3</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutCoverinSpaces.html">4</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutKnots.html">5</a></span> </p>
<p><a id="X797F8D4A848DD9BC" name="X797F8D4A848DD9BC"></a></p>
<h5>31.1-4 KnotGroup</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ KnotGroup</code>( <var class="Arg">K</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a pure cubical link <span class="SimpleMath">K</span> and returns the fundamental group of its complement. The group is returned as a finitely presented group.</p>
<p><strong class="button">Examples:</strong> <span class="URL"><a href="../www/SideLinks/About/aboutKnots.html">1</a></span> </p>
<p><a id="X7A87E5EB82E67589" name="X7A87E5EB82E67589"></a></p>
<h5>31.1-5 AlexanderMatrix</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlexanderMatrix</code>( <var class="Arg">G</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a finitely presented group <span class="SimpleMath">G</span> whose abelianization is infinite cyclic. It returns the Alexander matrix of the presentation.</p>
<p><strong class="button">Examples:</strong></p>
<p><a id="X7DC474EE7A909563" name="X7DC474EE7A909563"></a></p>
<h5>31.1-6 AlexanderPolynomial</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlexanderPolynomial</code>( <var class="Arg">K</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ AlexanderPolynomial</code>( <var class="Arg">G</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs either a pure cubical knot <span class="SimpleMath">K</span> or a finitely presented group <span class="SimpleMath">G</span> whose abelianization is infinite cyclic. The Alexander Polynomial is returned.</p>
<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap1.html">1</a></span> , <span class="URL"><a href="../tutorial/chap2.html">2</a></span> , <span class="URL"><a href="../tutorial/chap5.html">3</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutKnots.html">4</a></span> </p>
<p><a id="X853774F885B17523" name="X853774F885B17523"></a></p>
<h5>31.1-7 ProjectionOfPureCubicalComplex</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ProjectionOfPureCubicalComplex</code>( <var class="Arg">K</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs an $n$-dimensional pure cubical complex <span class="SimpleMath">K</span> and returns an n-1-dimensional pure cubical complex K'. The returned complex is obtained by projecting Euclidean n-space onto Euclidean n-1-space.</p>
<p><strong class="button">Examples:</strong></p>
<p><a id="X7D8681B079E019C0" name="X7D8681B079E019C0"></a></p>
<h5>31.1-8 ReadPDBfileAsPureCubicalComplex</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ReadPDBfileAsPureCubicalComplex</code>( <var class="Arg">file</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ReadPDBfileAsPureCubicalComplex</code>( <var class="Arg">file</var>, <var class="Arg">m</var>, <var class="Arg">c</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a protein database file describing a protein, and optionally inputs a positive integer m and character string c. The default values for the optional inputs are m=5 and c="A". It loads the chain of amino acids labelled by c in the file as a 3-dimensional pure cubical complex of the homotopy type of a circle.</p>
<p>It might happen that the function fails to construct a pure cubical complex of the homotopy type of a circle. In this case retry with a larger integer m.</p>
<p><strong class="button">Examples:</strong> <span class="URL"><a href="../tutorial/chap5.html">1</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutPersistent.html">2</a></span> , <span class="URL"><a href="../www/SideLinks/About/aboutKnots.html">3</a></span> </p>
<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap30.html">[Previous Chapter]</a> <a href="chap32.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chap20.html">20</a> <a href="chap21.html">21</a> <a href="chap22.html">22</a> <a href="chap23.html">23</a> <a href="chap24.html">24</a> <a href="chap25.html">25</a> <a href="chap26.html">26</a> <a href="chap27.html">27</a> <a href="chap28.html">28</a> <a href="chap29.html">29</a> <a href="chap30.html">30</a> <a href="chap31.html">31</a> <a href="chap32.html">32</a> <a href="chap33.html">33</a> <a href="chap34.html">34</a> <a href="chap35.html">35</a> <a href="chap36.html">36</a> <a href="chap37.html">37</a> <a href="chap38.html">38</a> <a href="chap39.html">39</a> <a href="chap40.html">40</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
|
