Gröbner基础VooDoo 的扩展:给定一个多元多项式系统,计算和各个原点矢量。 原始向量 给定的输入系统F =(F 0,...,F 2 N-1),一个Gröbner基算法输出系统G =(G 0,...,G M-1)跨越相同理想⟨ ̊F⟩。 即使对于轻度复杂的系统F ,通常也不是很清楚如何(加权地)组合f i以得出任何给定的g j 。 如果F和v的内积等于g j ,则向量v =( v 0 ,..., v n -1 )称为g j的原点向量(voo)。 即,ΣI F I·V I = GĴ。 将所有m个原点向量排列到矩阵V中,得到F · V = G。 每个条目都是多元多项式的n × m矩阵V包含