Abstract
Let R denote the ring of real polynomials on Rn. Fix m ≥ 0, and let A1, . . ., AM ∈ R. The Cm-closure of (A1, . . ., AM), denoted here by [A1, . . ., AM; Cm], is the ideal of all f ∈ R expressible in the form f = F1A1 + · · · + FM AM with each Fi ∈ Cm(Rn). In this paper we exhibit an algorithm for computing generators for [A1, . . ., AM; Cm].
Original language | English (US) |
---|---|
Pages (from-to) | 965-1006 |
Number of pages | 42 |
Journal | Revista Matematica Iberoamericana |
Volume | 37 |
Issue number | 3 |
DOIs | |
State | Published - 2021 |
All Science Journal Classification (ASJC) codes
- General Mathematics
Keywords
- Algorithms
- Closures of ideals
- Generators
- Ideals
- Polynomial system
- Real radical
- Semialgebraic differential operator
- Semialgebraic sets