diff --git a/tikz/topology-halfspace/Makefile b/tikz/topology-halfspace/Makefile new file mode 100644 index 0000000..0566f17 --- /dev/null +++ b/tikz/topology-halfspace/Makefile @@ -0,0 +1,31 @@ +SOURCE = topology-halfspace +DELAY = 80 +DENSITY = 300 +WIDTH = 512 + +make: + pdflatex $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg + pdf2svg $(SOURCE).pdf $(SOURCE).svg + # Necessary, as pdf2svg does not always create valid svgs: + inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg diff --git a/tikz/topology-halfspace/Readme.md b/tikz/topology-halfspace/Readme.md new file mode 100644 index 0000000..00b10b2 --- /dev/null +++ b/tikz/topology-halfspace/Readme.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](topology-halfspace.png) diff --git a/tikz/topology-halfspace/topology-halfspace.png b/tikz/topology-halfspace/topology-halfspace.png new file mode 100644 index 0000000..971a2c6 Binary files /dev/null and b/tikz/topology-halfspace/topology-halfspace.png differ diff --git a/tikz/topology-halfspace/topology-halfspace.tex b/tikz/topology-halfspace/topology-halfspace.tex new file mode 100644 index 0000000..2671a02 --- /dev/null +++ b/tikz/topology-halfspace/topology-halfspace.tex @@ -0,0 +1,17 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{patterns} + +\begin{document} + \begin{tikzpicture} + \draw [white,step=0.5cm, pattern=north east lines] (0,0) rectangle (2,1); + \draw[very thick] (0,0) -- (2,0); + + \node at (2.4,0.5) {$\stackrel{\sim}{=}$}; + + \begin{scope}[shift={(4,0)}] + \draw[white,pattern=north east lines] ([shift={(180:1cm)}]-0.0,0) arc (180:0:1cm); + \draw[very thick] (-1,0) -- (1,0); + \end{scope} + \end{tikzpicture} +\end{document}