An algorithm to compute the set of characteristics of a system of polynomial equations over the integers

被引：7

作者：

Baines, R ^{[1
]}

Vámos, P ^{[1
]}

机构：

[1] Univ Exeter, Sch Math Sci, Exeter EX4 4QE, Devon, England

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 2003年 / 35卷 / 03期

关键词：

D O I：

10.1016/S0747-7171(02)00134-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We describe a (finite) algorithm to determine the set of characteristics of a system of polynomial equations with integer coefficients by using the theory of Grobner bases. This gives us a proof that the set of characteristics must be either finite and not containing zero, or containing zero and co-finite. Another, algebraic, proof of this is given in the appendix. These results carry over to systems of polynomial equations over a principal ideal domain and also yields an algorithm for finding the characteristic set of a matroid. (C) 2003 Elsevier Science Ltd. All rights reserved.

引用

页码：269 / 279

页数：11

共 50 条

[21] A Characterization of Functions over the Integers Computable in Polynomial Time Using Discrete Ordinary Differential Equations
Bournez, Olivier
Durand, Arnaud
[J]. COMPUTATIONAL COMPLEXITY, 2023, 32 (02)
[22] Lattices Over Algebraic Integers With an Application to Compute-and-Forward
Huang, Yu-Chih
Narayanan, Krishna R.
Wang, Ping-Chung
[J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 2018, 64 (10) : 6863 - 6877
[23] On the approximate solutions in integers of a set of linear equations
Blichfeldt, HT
[J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1921, 7 : 317 - 319
[24] Validating the Completeness of the Real Solution Set of a System of Polynomial Equations
Brake, Daniel A.
Hauenstein, Jonathan D.
Liddell, Alan C., Jr.
[J]. PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 143 - 150
[25] Minimal polynomial dynamics on the set of 3-adic integers
Durand, Fabien
Paccaut, Frederic
[J]. BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2009, 41 : 302 - 314
[26] POLYNOMIAL D(4)-QUADRUPLES OVER GAUSSIAN INTEGERS
Trebjesanin, Marija bliznac
Bujacic, Sanda
[J]. GLASNIK MATEMATICKI, 2024, 59 (01) : 1 - 31
[27] ON EFFECTIVE ESTIMATION OF ZERO ORDER FOR A POLYNOMIAL OVER A SET OF FUNCTIONS SATISFYING A LINEAR-DIFFERENTIAL EQUATIONS SYSTEM
ZHUKOV, AI
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1991, (01): : 79 - 82
[28] An algorithm to compute the Teichmüller polynomial from matrices
Hyungryul Baik
Chenxi Wu
KyeongRo Kim
TaeHyouk Jo
[J]. Geometriae Dedicata, 2020, 204 : 175 - 189
[29] Adaptive Compute-and-Forward with Lattice Codes Over Algebraic Integers
Huang, Yu-Chih
Narayanan, Krishna R.
Wang, Ping-Chung
[J]. 2015 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2015, : 566 - 570
[30] On enumerating solutions of certain equations over Z(m) and an effective algorithm for factoring integers
Xu, Guangkui
Cao, Xiwang
[J]. INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS & STATISTICS, 2013, 40 (10): : 115 - 122

← 1 2 3 4 5 →