☰

Macaulay2 到 latex

tag-icon • tag-icon tikz-pgf conversion
Macaulay2 到 latex

有没有办法将 Macaulay2 计算的输出生成到 latex？例如，我可以执行以下操作：

i1 : R = QQ[a,b,c,d]

o1 = R

o1 : PolynomialRing

i2 : I = ideal (a*b, c*d)

o2 = ideal (a*b, c*d)

o2 : Ideal of R

i3 : freeI = res I

       1      2      1
o3 = R  <-- R  <-- R  <-- 0

     0      1      2      3

o3 : ChainComplex

i4 : freeI.dd

          1                 2
o4 = 0 : R  <------------- R  : 1
               | ab cd |

          2                   1
     1 : R  <--------------- R  : 2
               {2} | -cd |
               {2} | ab  |

          1
     2 : R  <----- 0 : 3
               0

o4 : ChainComplexMap

我可以生成最后的输出，带有矩阵和所有内容的分辨率作为乳胶代码吗？

编辑：我想获得以下代码的输出（我无法在这里很好地获取图片），或者类似的东西：

\begin{eqnarray*}
\begin{tikzcd}
    0 \arrow{r} & R^2 \arrow{r}{\begin{pmatrix}a\\b\end{pmatrix}} & R^2 \arrow{r}{(ab, cd)} & R \arrow{r}{} & M \arrow{r} & 0
\end{tikzcd}
\end{eqnarray*}

如果有办法获得矩阵的话，仅仅矩阵也是可以的。

答案1

您可以使用理论上为 Macaulay2 中的任何对象 X 提供 tex 代码的命令来获取矩阵tex X。例如，您的分辨率中的第一个地图可以通过以下方式获取

i15 : tex freeI.dd#1

o15 = $\bgroup\begin{pmatrix}a b&
      c d\\
      \end{pmatrix}\egroup$

再次拨打电话tex即可获得解决方案（不含地图）

i16 : tex freeI

o16 = $R \leftarrow R^{2} \leftarrow R \leftarrow 0$

不幸的是，如果你尝试将tex命令应用于整个分辨率，结果将完全不令人满意

i14 : tex freeI.dd
o14 = $ChainComplexMap{...6...}$

因此，我们无法按照您的意愿获得完整分辨率的 TeX，但借助合适的文本编辑器，可以很快地将分辨率和矩阵拼凑在一起。

相关内容