问题标签 [macaulay2]

假设给定一个任意顺序，例如 $w>x>y>z>a$ 顺序。您可以进行重命名，使其变为 lex 或类似的错误重命名事物，以满足一些更典型的单项式排序，例如 lex、glex 和grevlex。有没有办法在Macaulay2中指定任意单项式排序？

在理想商的计算基础上（Ideal, Varities, and Algorithms p.197, 3rd edition），需要用多项式来划分理想。你怎么能在麦考利2中做到这一点？

这是一个关于除法算法的问题。考虑多项式f=-4x^4y^2z^2+y^6+3z^5和多项式G={y^6-z^5, x*z-y^2, x*y^4-z^4, x^2*y^2-z^3 *x^3-z^2}。

您如何在计算上将 f 相对于 G 分解f=\sum_i C_i*G_i为满足线性组合？

我知道余数为零，但不是上面公式中的系数 C_i，例如 Macaulay2

这可能与这里关于理想的更一般的数学问题有关。

Buchberger 的算法需要计算 S 对（更多信息参见 Cox 等人 2008 年第 3 版的 Ideals, Varities and Algorithm 的第 83 页）

S(f,g)=LCM(LT(f),LT(g))/LT(f) *f - LCM(LT(f),LT(g))/LT(g) * g

其中 LCM 是最小公倍数（相当于书上符号中的 x^\gamma），LT 是前导项。

如何在 Macaulay2 中或以其他方式计算 S 对？

示例：按分级字典顺序排列的 S 对，g1=x^2-y 和 g2=x^3-z，其中 S(g1,g2)=xz-xy。

我是Macaulay2的新手。我尝试使用以下命令来显示商环 S=ZZ_977[x]/<7x^11+4x^5-23x^4+x-27> 是一个字段：

但它不起作用。我在网上查过，但他们没有介绍这部分。有人可以帮忙吗？谢谢！

我试图用 Macaulay2 来演示 Handelman 定理和示例1。我无法理解为受间隔限制的多面体定义理想值时的错误。

错误是什么？我应该如何定义常量？

考虑下面的每个函数，例如 f、f2、f3 和 f4，其基为 I。我们如何表示每个 f 使得 f_i=\sum a_i I_i 和每个 a_i\geq 0？

例子

我们用 M2 和 Mathematica 演示下面的多项式。

麦考利2：

我们可以用 I 的元素来表示 f3，即用第零项

我们可以用 I_5 和 I_0 来表示 f4

我们可以用 I 来表示 f 和 f2 吗？

---

Mathematica： f 和 f-2 不能用 I 表示，但 f-1 可以用 I 表示，但不能用负数表示，因此不能在其上使用 Handelman 定理。

但

• f-2 不是非负数（选择 x3=1,x1=2 所以 1-0-2=-1<0）

• f 是非负数 (x3=1 所以 1-x1x2>0) 并且

• f-1 不是非负数（x3=1,x2>0 所以 -x1x2<0）。

根据汉德尔曼定理，所有计算都是不确定的，因为第三项 -x1 是负数。更多关于 Mathematica 方面的信息。

我们如何用其他多项式表示一个多项式，并且每个商项都是正的，就像 Mathematica 中的 PolynomialReduce 一样，但每个商项都是正的？

我处于以下情况：

S=QQ[x_0..x_n];

for i 从 0 到 n 为 j 从 i 到 n 做 d_{i,j} = x_i*x_j;

现在我想构建一个向量，其元素是

d_{0,0}=x_0^2,d_{0,1}=x_0*x_1,...,d_{0,n}=x_0*x_n,d_{1,1}=x_1^2,d_{ 1,2}=x_1*x_2,...,d_{n,n}=x_n^2

我怎样才能在 MacAulay2 中做到这一点？非常感谢。

我是麦考利 2 的新手，在尝试下载它时遇到了麻烦。

显然，由于我运行的是 Windows 7，我需要下载一个名为“Cygwin”的程序才能在我的计算机上安装 M2。我下载了 Cywgin，目前正试图通过此处倒数第二段中的说明找出我的问题

我被要求选择 2 个“镜像站点”，其中一个是我被要求进入的麦考利站点，然后我被要求选择一个“地理上靠近我”的站点。我已尝试选择所有“.com”镜像站点，但这样做我收到以下错误消息：

我尝试了一个随机网站，看看是否会出现相同的错误消息并且确实出现了。我在这里缺少什么，我应该选择一个明显的镜像站点吗？

想枚举所有Grassmannian及其索引和k和n供舒伯特函数使用

以及如何查找我发现博客使用的索引

直到数字从升序到降序但似乎只返回两个数字