32

I was wondering if anyone could suggest software/packages to create nice knot diagrams (hopefully with a link to images they have made in the past).

I have used xy-pic recently but am mainly interested in hearing about other options.

36

I have a prototype package for this using TikZ/PGF. At the moment, it is a bit basic as it was originally designed to draw very specific link diagrams and only afterwards did I start to extract the more general bits. Nonetheless, it can produce quite nice knot diagrams (I think) and I'd be happy to hear ideas on how it could be improved. You can get it from my homepage (when it is a little more polished then I'll put it on CTAN).

Here are some samples to whet your appetite. First, the preamble for all these examples:

\documentclass{article}
\usepackage{brunnian}

\usetikzlibrary{%
  arrows%
}

\tikzset{every path/.style={red,line width=2pt},every node/.style={transform shape,knot crossing,inner sep=1.5pt},>=triangle 60,text node/.style={rectangle,transform shape=false,black}}

Next, a trefoil

\begin{tikzpicture}
\foreach \brk in {0,1,2} {
\begin{scope}[rotate=\brk * 120]
\node (k\brk) at (0,-1) {};
\end{scope}
}
\draw (0,0) \foreach \brk in {0,1,2} {let \n0=\brk, \n1={int(Mod(\brk+1,3))}, \n2={int(Mod(\brk+2,3))} in (k\n0) .. controls (k\n0.16 south east) and (k\n1.16 south west) .. (k\n1.center) .. controls (k\n1.4 north east) and (k\n2.4 north west) .. (k\n2)} (k2);
\end{tikzpicture}

trefoil

This extends very easily to, for example, a cinquefoil:

\begin{tikzpicture}
\foreach \brk in {0,...,4} {
\begin{scope}[rotate=\brk * 72]
\node (k\brk) at (0,-1.5) {};
\end{scope}
}
\draw (0,0) \foreach \brk in {0,...,4} {let \n0=\brk, \n1={int(Mod(\brk+1,5))}, \n2={int(Mod(\brk+2,5))} in (k\n0) .. controls (k\n0.16 south east) and (k\n1.16 south west) .. (k\n1.center) .. controls (k\n1.4 north east) and (k\n2.4 north west) .. (k\n2)} (k2);
\end{tikzpicture}

cinquefoil

\begin{tikzpicture}
\foreach \brk in {0,...,4} {
\begin{scope}[rotate=-\brk * 72]
\node (k\brk) at (0,-1.5) {};
\pgfmathtruncatemacro{\brl}{\brk+97}
\node[text node] at (0,2) {\(\char\brl\)};
\end{scope}
}
\node[text node] at (0,0) {\(f\)};
\node[text node] at (126:2.5) {\(g\)};
\draw (0,0) \foreach \brk in {0,...,4} {let \n0=\brk, \n1={int(Mod(\brk-1,5))}, \n2={int(Mod(\brk-2,5))} in (k\n0) .. controls (k\n0.16 south east) and (k\n1.16 south west) .. (k\n1.center) .. controls (k\n1.4 north east) and (k\n2.4 north west) .. (k\n2)} (k2);

\end{tikzpicture}

(K)not sure what this one is called, it's an obvious extension of the figure 8 knot:

sort of figure 8ish

\begin{tikzpicture}
\node[rotate=45] (tl) at (-1,1) {};
\node[rotate=-45] (tr) at (1,1) {};
\edef\twists{10}
\foreach \brk in {0,...,\twists} {
\node (m\brk) at (0,-1 - \brk) {};
}
\foreach \brk in {1,...,\twists} {
\pgfmathparse{int(\brk - 1)}
\edef\brl{\pgfmathresult}
\draw (m\brk) .. controls (m\brk.4 north west) and (m\brl.4 south west) .. (m\brl.center);
\draw (m\brk.center) .. controls (m\brk.4 north east) and (m\brl.4 south east) .. (m\brl);
}
\draw (m0) .. controls (m0.8 north west) and (tl.3 south west) .. (tl.center);
\draw (m0.center) .. controls (m0.8 north east) and (tr.3 south east) .. (tr);
\draw (tl.center) .. controls (tl.16 north east) and (tr.16 north west) .. (tr);
\draw (m\twists) .. controls (m\twists.32 south east) and (tr.32 north east) .. (tr.center);
\draw (m\twists.center) .. controls (m\twists.32 south west) and (tl.32 north west) .. (tl);
\draw (tl) -- (tr.center);
\end{tikzpicture}

Also have examples of the Reidemeister moves and likewise. Most of the images listed at this nLab page were done using this package and then exported to SVG via tex4ht. All of the images at this page were done using this package. In particular, the following monstrosity!

iterated Brunnian link with inscription

  • thanks for the links and nice examples! I think I'll have some fun fiddling around with this – confusedmath May 2 '11 at 15:10
  • 2
    The link is broken. – chaosflaws Jul 2 '16 at 20:57
  • @chaosflaws This answer is hopelessly out of date. My newer answer below supersedes this one. – Loop Space Jul 2 '16 at 23:14
22

Run with xelatex or use package auto-pst-pdf or run latex->dvips->ps2pdf

\documentclass{article}
\usepackage{pst-knot}
\begin{document}

\begin{pspicture}(-2,-2)(5,2)
 \psKnot[linewidth=3pt,linecolor=red](0,0){3-1}
 \psKnot[linewidth=3pt,linecolor=blue](4,0){4-1}
\end{pspicture}

\end{document}

enter image description here

The documentation explains the meaning of 3-1 and 4-1

15
+100

The question is old, so just for the record. MetaPost package fiziko may not be the most practical or stable tool for drawing knots, but the images it produces look somewhat fancy. All examples are in ConTeXt, but the same code can be used in LuaLaTeX or standalone as well:

\startMPcode
    input fiziko.mp;
    path p;
    p := (dir(90)*4/3cm) {dir(0)} .. tension 3/2 
        .. (dir(90 + 120)*4/3cm){dir(90 + 30)} .. tension 3/2 
        .. (dir(90 - 120)*4/3cm){dir(-90 - 30)} .. tension 3/2 
        .. cycle;
    % p := pathSubdivide(p, 6);
    addStrandToKnot (primeOne) (p, 1/5cm, "l", "1, -1, 1");
    draw knotFromStrands (primeOne);
\stopMPcode

enter image description here

\startMPcode
    input fiziko.mp;
    path p;
    p := (0, 2cm) .. (1/2cm, 3/2cm) .. (-1/2cm, 0) .. (1/2cm, -2/3cm) .. (4/3cm, 0) .. (0, 3/2cm) .. (-4/3cm, 0) .. (-1/2cm, -2/3cm) .. (1/2cm, 0) .. (-1/2cm, 3/2cm) .. cycle ;
    % p := pathSubdivide(p, 6) shifted (4cm, -1/2cm);
    addStrandToKnot (primeTwo) (p, 1/6cm, "l", "1, -1, 1, -1, 1");
    draw knotFromStrands (primeTwo);
\stopMPcode

enter image description here

\startMPcode
    input fiziko.mp;
    path p[];
    p1 := (fullcircle scaled 2cm) shifted (-1/2cm, 0);
    p2 := p1 shifted (1cm, 0);
    p3 := (-2cm, 0) -- (2cm, 0);
    % p3 := pathSubdivide(p3, 4);
    addStrandToKnot (someKnot) (p1, 1/6cm, "l", "0, 1, 0, 1");
    addStrandToKnot (someKnot) (p2, 1/6cm, "l", "");
    addStrandToKnot (someKnot) (p3, 1/6cm, "l", "1, -1, 1, -1");
    draw knotFromStrands (someKnot);
\stopMPcode

enter image description here

In addStrandToKnot (primeOne) (p, 1/5cm, "l", "1, -1, 1");, primeOne is the knot name. p is a path along which the strand should be drawn (note that pathSubdivide thing, the path should contain some reasonable number of points; upd: with recent updates there's no need to subdivide paths for knots in most cases), 1/5cm is the strand thickness, "l" is the type of shading (can be "l", "t" or "e", the latter is simply empty outline which works much faster and "t" doesn't work very well for now) and "1, -1, 1" is a list of "layers" where intersections in order of appearance along the path, go (above default "zero" level or below it).

And knotFromStrands (primeOne) actually draws all the strands and returns a picture.

Upd:

Default shading settings have been changed since the images above were produced and the output would look somewhat different now. These settings can be altered with defineMinStrokeWidth macro, which determines shading stroke width (default is 1/5pt) and defineLightDirection, which determines where does "light" come from (default is -1/8pi, 1/8pi). For instance, first knot with

defineLightDirection(1/8pi, -1/6pi);
defineMinStrokeWidth(1/5pt);

would look like this:

enter image description here

  • 1
    That looks pretty nice! – Henri Menke Aug 30 '18 at 9:58
11

(This question, although old, keeps coming up when I search for tikz knots - yes, I know I'm searching for my own package but it's how I find the documentation when I'm on a foreign machine - so I thought I'd add an answer about the tikz knots library which was developed some time after this question was asked.)

There's a TikZ library, knots, which is available on CTAN (as part of a package called spath3) and github. There are quite a few questions on this site with examples using this package, here are just a few:

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.