2000
DOI: 10.1006/jsco.2000.0411
|View full text |Cite
|
Sign up to set email alerts
|

Computing Ideals of Points

Abstract: We address the problem of computing ideals of polynomials which vanish at a finite set of points. In particular we develop a modular Buchberger-Moeller algorithm, best suited for the computation over QQ, and study its complexity; then we describe a variant for the computation of ideals of projective points, which uses a direct approach and a new stopping criterion. The described algorithms are implemented in cocoa, and we report some experimental timings

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
77
0

Year Published

2003
2003
2012
2012

Publication Types

Select...
6
2

Relationship

0
8

Authors

Journals

citations
Cited by 55 publications
(77 citation statements)
references
References 11 publications
0
77
0
Order By: Relevance
“…The classical Padé approximation theory for univariate polynomials says that for any polynomials f, g ∈ F[x], where F is any field and g has degree t > 1, and for any positive integers t 1 and t 2 with t 1 + t 2 = t + 1, there are polynomials a ∈ F[x] of degree < t 1 and b ∈ F[x] of degree < t 2 so that (1) b · f ≡ a (mod g), and the ratio a/b is unique for all the solutions a and b. Furthermore, the extended Euclidean algorithm can be used to find a minimal solution a and b.…”
Section: Introduction and Main Resultsmentioning
confidence: 99%
“…The classical Padé approximation theory for univariate polynomials says that for any polynomials f, g ∈ F[x], where F is any field and g has degree t > 1, and for any positive integers t 1 and t 2 with t 1 + t 2 = t + 1, there are polynomials a ∈ F[x] of degree < t 1 and b ∈ F[x] of degree < t 2 so that (1) b · f ≡ a (mod g), and the ratio a/b is unique for all the solutions a and b. Furthermore, the extended Euclidean algorithm can be used to find a minimal solution a and b.…”
Section: Introduction and Main Resultsmentioning
confidence: 99%
“…oller algorithm (Abbott et al, 2000). The complexity of this step is Oðm 2 ðgðm; nÞ þ mÞðlog pÞ 2 þ m 2 n 2 Þ as reported in Abbott et al (2000), where gðm; nÞ is Oðm ðnÀ1Þ=n Þ (Berman, 1981). Since g is sublinear in m; the worst case complexity of this step is quadratic in the number of nodes and cubic in the number of time points (Robbiano, 1998).…”
Section: Complexity Of the Algorithmmentioning
confidence: 97%
“…oller algorithm (Abbott et al, 2000). The complexity of this step is Oðm 2 ðgðm; nÞ þ mÞðlog pÞ 2 þ m 2 n 2 Þ as reported in Abbott et al (2000), where gðm; nÞ is Oðm ðnÀ1Þ=n Þ (Berman, 1981).…”
Section: Complexity Of the Algorithmmentioning
confidence: 99%
“…We have calculated the Ideal of table 4.1 with the function IdealOfPoints [62] in ApCoCoA [61] and the lexicographic order. In our case the ideal is: z 2 − 3z + 2, y 2 − 3y + 2, x 2 − 3x + 2 , and its corresponding Gröbner basis is: G = z 2 − 3z + 2, y 2 − 3y + 2, x 2 − 3x + 2 .…”
Section: Theoremmentioning
confidence: 99%
“…Calculate the reduced Gröbner Basis G (this can be also calculated with the function IdealOfPoints [62] in ApCoCoA).…”
Section: Define a Term Ordering τ (For Example Lexicographic)mentioning
confidence: 99%