【24h】

Plural ― a Computer Algebra System for Noncommutative Polynomial Algebras

机译:复数-非交换多项式代数的计算机代数系统

获取原文
获取原文并翻译 | 示例

摘要

SINGULAR is a computer algebra system developed for efficient computations with polynomials. We describe PLURAL as an extension of SINGULAR to noncommutative polynomial rings (G―/GR―algebras): to which structures does it apply, the prerequisites to monomial orderings, left- and two-sided Groebner bases. The usual criteria to avoid "useless pairs" are revisited for their applicability in the case of G―/GR―algebras. Benchmark tests are used to evaluate the concepts compare them with other systems.
机译:SINGULAR是为利用多项式进行高效计算而开发的计算机代数系统。我们将PLURAL描述为单向非交换多项式环(G- / GR-代数)的扩展:它适用于哪些结构,单项式排序的先决条件,左侧和两侧Groebner基。重新讨论了避免“无用对”的常用标准,因为它们在G- / GR-代数中的适用性。基准测试用于评估概念与其他系统的比较。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号