我试图证明两个辫子是等价的,我的代码如下
\begin{figure}[htb]
\centering
\begin{tikzpicture}
\braid [line width=.4mm] a_2^{-1} a_1^{-1} a_2^{-1} a_1^{-1};
\end{tikzpicture}
\begin{tikzpicture}
\braid [line width=.4mm] a_1^{-1} a_2^{-1} a_1^{-1} a_2^{-1};
\end{tikzpicture}
\caption{Represents how two $3$-braids can be equivalent.}
\end{figure}
这样我的两条辫子就并排了,唯一的问题是我无法在它们之间找到等价符号,我想要这个:〜位于两条辫子中间。
有人可以帮忙吗?
答案1
这是一个大致遵循@ClaudioFiandrino 建议的实现
\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{positioning}
\usepackage{braids}
\begin{document}
\begin{figure}[htb]
\centering
\begin{tikzpicture}
\braid [line width=.4mm] (first) at (0,0) a_2^{-1} a_1^{-1} a_2^{-1} a_1^{-1};
\node [right =3.5em of first] (equiv) {$\sim$};
\braid [line width=.4mm] (second) at (3,0) a_1^{-1} a_2^{-1} a_1^{-1} a_2^{-1};
\end{tikzpicture}
\caption{Represents how two $3$-braids can be equivalent.}
\end{figure}
\end{document}
来自braids
文档:
(可选)名称的作用有点像 TikZ 节点的名称。指定后,渲染辫子的例程还会保存某些坐标,就好像它们是节点锚点一样。具体来说,坐标节点位于辫子图的中心和每条线的末端。中心有标签
name
,[...]
通过命名第一个辫子first
,我们可以使用语法(,其中长度是可选的,是您希望放置当前节点的相对的名称)将放置在相node
对于的位置,结果将垂直居中,因为位于图的中心。$\sim$
first
positioning
right =(<len>) of name
name
node
name
\braid
最后,由于\braid
s 现在位于同一个 中tikzpicture
,我将它们放在不同的坐标处,这样它们就不会通过使用语法而相互重叠at (coordinate)
。
答案2
举个例子就好了。我之前甚至不知道有辫子库的存在。不过这里还是尝试一下。
我对定位有点困惑,因为辫子上没有可以让你轻松定位事物的“东”节点,所以需要一些手动工作。
首先,我计算出位于第三条辫子起点和终点中间的一个节点。然后,我将这个节点移动 1 厘米。然后,我在第三条辫子的起点处创建一个坐标 (b2),并将其向右移动 2 厘米。
\documentclass{article}
\usepackage{tikz}
\usepackage{braids}
\usetikzlibrary{calc,positioning}
\begin{document}
\begin{figure}[htb]
\centering
\begin{tikzpicture}
\braid[name=b1] [line width=.4mm] a_2^{-1} a_1^{-1} a_2^{-1} a_1^{-1};
\node[xshift=1cm] (equal) at ($(b1-3-s)!0.5!(b1-3-e)$) {=};
\coordinate[xshift=1cm] (b2) at (b1-3-s);
\braid at (b2) [line width=.4mm] a_1^{-1} a_2^{-1} a_1^{-1} a_2^{-1};
\end{tikzpicture}
\caption{Represents how two $3$-braids can be equivalent.}
\end{figure}
\end{document}
这听起来像是一个有点黑客的解决方案,但是确实有效......