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