Symbolic Collection using Deep Thought
Symbolic Collection using Deep Thought
复制标题
使用深层思考的符号收集
DOI：
--
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
L. H. Soicher
中科院分区：
文献类型：
--
作者：
C. R. Leedham;L. H. Soicher
我们描述了“Deep Thought”算法，除其他外，该算法可以对有限生成的无挠幂零群G进行换位子表示，并为G的元素相乘产生显式多项式。这些多项式首先由菲利普·霍尔证明存在，并允许在非线性生成的幂零群中的“符号集合”。我们讨论了各种practicalissues计算在这样的群体，包括建设一个混合收集器，利用多项式和普通收集从左边。
We describe the “Deep Thought” algorithm, which can, among other things, take a commutator presentation for a finitely generated torsion-free nilpotent group G , and produce explicit polynomials for the multiplication of elements of G . These polynomials were first shown to exist by Philip Hall, and allow for “symbolic collection” in finitely generated nilpotent groups. We discuss various practicalissues in calculations in such groups, including the construction of a hybrid collector, making use of both the polynomials and ordinary collection from the left.