The term orderings which are compatible with composition II

Jinwang Liu; Zhuojun Liu; Mingsheng Wang

首页> 外文期刊>urnal of Symbolic Computation >The term orderings which are compatible with composition II

【24h】

The term orderings which are compatible with composition II

机译：与组合II兼容的术语订购

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Polynomial composition is the operation of replacing the variables of a polynomial with other polynomials. Let > be a term ordering, if for all terms p and q, p > q implies that p o lt>(Θ) >q o lt> (Θ), then we say that composition by Θ is compatible with the term ordering >. In (J. Symb. Comput. 25 (1998) 643), Hong proposed the question of how to test if a term ordering is compatible with composition. In this paper, by using elementary rational row operations for matrices, we obtain a decision procedure for Hong's question.

机译：多项式组合是将多项式的变量替换为其他多项式的操作。令>是项排序，如果对于所有项p和q，p> q表示p（）>（）> q（），则我们说由Θ组成与项>兼容。在（J. Symb。Comput。25（1998）643）中，Hong提出了一个问题，即如何测试术语排序是否与合成兼容。在本文中，通过对矩阵使用基本有理行运算，我们获得了针对洪氏问题的决策程序。

著录项

来源
《urnal of Symbolic Computation》 |2003年第2期|p.153-168|共16页
作者
Jinwang Liu; Zhuojun Liu; Mingsheng Wang;
展开▼
作者单位

Department of Mathematics, Xiangtan Teachers College, Hunan, 411201, China;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups [J] . GUILLEM GODOY, ROBERT NIEUWENHUIS Constraints . 2004,第3期

机译：与Abelian半群，monoid和群兼容的词序的约束求解
2. Extending reduction orderings to ACU-compatible reduction orderings [J] . Uwe Waldmann Information Processing Letters . 1998,第1期

机译：将归约顺序扩展到与ACU兼容的归约顺序
3. Cycle covers (III) Compatible circuit decomposition and K-5-transition minor [J] . Fleischner Herbert, Gh Behrooz Bagheri, Zhang Cun-Quan, Journal of Combinatorial Theory, Series B . 2019,第期

机译：循环盖（III）兼容电路分解和K-5-过渡次要
4. Combination of compatible reduction orderings that are total on ground terms [C] . Baader, F. . 1997

机译：符合条件的折减顺序的总和
5. I. MECHANISTIC ASPECTS OF THE PHOTOCHEMICAL DECOMPOSITION OF DIPHENYLPERMETHYL TITANOCENE AND -ZIRCONOCENE. II. A POLYMER-SUPPORTED DICHLORO(CYCLOPENTADIENYL)RHODIUM(III) CATALYST. III. THERMOCHEMICAL DECOMPOSITION OF DINEOPENTYLPERMETHYL TITANOCENE. IV. HOMOGENEOUS REDUCTION OF CARBON-MONOXIDE. [D] . TUNG, HSUEH-SUNG. 1981

机译：一，二苯甲基亚甲基二茂钛和-锆茂的光化学分解的力学方面。二。聚合物负载的二氯（环戊二烯基）铑（III）催化剂。三，二异丁烯丙基甲基二茂钛的热化学分解。 IV。均匀还原一氧化碳。
6. A Short-Term Effect of Wearable Technology-Based Lifestyle Intervention on Body Composition in Stage I–III Postoperative Breast Cancer Survivors [O] . Changming Zhou, Miao Mo, Zezhou Wang, 2020

机译：可穿戴技术的生活方式干预在I-III阶段术后乳腺癌幸存者中体组成的短期影响
7. Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups [O] . Guillem Godoy, Robert Nieuwenhuis 2007

机译：与Abelian半群，monoid和群兼容的项排序的约束求解
8. Review of Results for the OECD/NEA Phase VII Benchmark: Study of Spent Fuel Compositions for Long-Term Disposal. [R] . Radulescu, G., Wagner, J. C. 2013

机译：审查经合组织/国家能源机构第七阶段基准的结果：研究长期处置的乏燃料成分。

The term orderings which are compatible with composition II

摘要

著录项

相似文献

相关主题

期刊订阅