For rings such as $\mathbb{Z}[x,y]$ is there software to compute any of:

1.) The integral closure of $\mathbb{Z}[x,y]/(f)$. de Jong has a very general algorithm that works in this context (http://arxiv.org/abs/alg-geom/9704017)

2.) The radical of an ideal $I$.

3.) Minimal primes of an ideal/the primary decomposition.

4.) The dimension of $\mathbb{Z}[x,y]/I$

5.) Any invariants of a singularity on such a scheme.

Over fields $\mathbb{Q}, \mathbb{F}_p$ I think Sage, Macaulay 2 etc., implement 1-4. Are 1-4 difficult to compute for such rings, or are there just no implementations yet?

  • $\begingroup$ Magma can do Groebner bases over the integers, and IIRC primary decomposition as well. It will also do Groebner bases over finite truncations of p-adic rings. $\endgroup$ – Martin Bright Aug 6 '13 at 7:27
  • $\begingroup$ Thanks Martin, I believe Sage also does Groebner bases over $\mathbb{Z}$ and Magma more generally over Euclidean domains. However, neither does primary decomposition or computes the radical. $\endgroup$ – LMN Aug 6 '13 at 17:40
  • $\begingroup$ I find it very strange/hard to believe that there is an algorithm to compute the integral closure (which is generally considered "hard") for interesting rings ($\mathbb{Z}$-algebras above), but that there is no implementation. $\endgroup$ – LMN Aug 6 '13 at 17:43

To my knowledge,

2-4 are also implemented in Singular (http://www.singular.uni-kl.de/), in primdecint.lib or in kernel, but the Gröbner basis computation over integers and other algrorithms in Singular seems still buggy. We are currently trying to pinpoint the bugs and fix them in the development version: https://github.com/Singular/Sources

Their bugtracker: www.singular.uni-kl.de:8002/trac/report/1?sort=ticket&asc=0&page=1

Radical over integers is computed in Singular via radicalZ(I), dimension via dim(std(I)) and the primary decomposition via primdecZ(I). Sagemath has an interface to Singular 3.1.6 but not to the recent version.


| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.