We address the problem of computing ideals of polynomials which vanish at a finite set of points. In particular we develop a modular Buchberger-MΓΆller algorithm, best suited for the computation over Q, and study its complexity; then we describe a variant for the computation of ideals of projective p
Smooth Points and M-Ideals
β Scribed by R. Grzaslewicz; R. Younis
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 174 KB
- Volume
- 175
- Category
- Article
- ISSN
- 0022-247X
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We study closedness properties of ideals generated by real - analytic functions in some subrings \(\mathcal{C}\) of \(C^{\infty}(\Omega)\), where \(\Omega\) is an open subset of \(\mathbb{R}^{n}\). In contrast with the case \(\mathcal{C}=C^{\infty}(\Omega)\), which has been clarified by famous works
For y # R >0 an integral ideal of an algebraic number field F is called y-smooth if the norms of all of its prime ideal factors are bounded by y. Assuming the generalized Riemann hypothesis we prove a lower bound for the number F (x, y) of integral y-smooth ideals in F whose norms are bounded by x #
We investigate the behavior of the test ideal of an excellent reduced ring of prime characteristic under base change. It is shown that if h A β D is a smooth homomorphism, then Ο A D = Ο D , assuming that all residue fields of A at maximal ideals are perfect and that formation of the test ideal comm