Matrix 从MacAulay2中的序列构造向量

我的情况如下：

S=QQ[x_0..x_n]

对于从0到n的i，对于从i到n的j，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我怎么做？多谢各位

在Macaulay2中，vector指的是列向量，如果我们有vector元素，我们可以构造以下向量：

SQ= for i from 0 to n list d_{i}
vector(SQ)

但由于所需的向量不是列向量，因此最好生成一个矩阵：

d=mutableMatrix genericMatrix(S,n,n)
for i from 0 to n do for j from 0 to n do d_(i,j)=x_i*x_j

---

这可能就是你要找的

m=ideal(S_*)
m^2_*

.*

操作符获取理想的生成器。因此，

m

是最大的理想，您正在寻找

m^2

的生成器

或者

flatten entries basis(2,S)

---

它只是给出了2次环S的向量基。

刚刚意识到这个问题由来已久。哦，好吧。