Conferencia

Estamos trabajando para incorporar este artículo al repositorio

Abstract:

We propose a new algorithm for the computation of the radical of an ideal in a polynomial ring. In recent years many algorithms have been proposed. A common technique used is to reduce the problem to the zero dimensional case. In the algorithm we present here, we use this reduction, but we avoid the redundant components that appeared in other algorithms . As a result, our algorithm is in some cases more efficient. Copyright 2006 ACM.

Registro:

Documento: Conferencia
Título:An algorithm for the computation of the radical of an ideal
Autor:Laplagne, S.
Ciudad:Genova
Filiación:Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina
Palabras clave:Algorithms; Complexity; Polynomial ideal; Primary decomposition; Radical; Computational complexity; Computational methods; Polynomial approximation; Problem solving; Polynomial ideal; Primary decomposition; Radical; Algorithms
Año:2006
Volumen:2006
Página de inicio:191
Página de fin:195
Título revista:International Symposium on Symbolic and Algebraic Computation, ISSAC 2006
Título revista abreviado:Proc Int Symp Symbol Algebraic Comput ISSAC
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959327_v2006_n_p191_Laplagne

Referencias:

  • Caboara, M., Conti, P., Traverso, C., Yet another algorithm for ideal decomposition (1997) Applied Algebra, Algebraic Algorithms and Error-correcting Codes, (12), pp. 39-54
  • Cox, D., Little, J., O'Shea, D., (1996) Ideals, Varieties and Algorithms, , Springer
  • Cox, D., Little, J., O'Shea, D., Using Algebraic Geometry., , Springer, 1998
  • Decker, W., Gruel, G.-M., Pfister, G., Primary decomposition: Algorithms and comparisons (1998) Algorithmic Algebra and Number Theory, Springer Verlag, Heidelberg, pp. 187-220
  • Decker, W., Pfister, G., Schoenemann, H., (2005) A SINGULAR 3.0 Library for Computing Primary Decomposition and Radical of Ideals, , primdec.lib
  • Dickenstein, A., Fitchas, N., Giusti, M., Sessa, C., The membership problem for unmixed polynomial ideals is solvable in single exponential time (1991) Discrete Applied Mathematics, (33), pp. 73-94
  • Dube, T.W., The structure of polynomial ideals and grobner bases (1990) SIAM J. Comput., (19), pp. 750-773
  • Eisenbud, D., Huneke, C., Vasconcelos, W., Direct methods for primary decomposition (1992) Invent. Math., (110), pp. 207-235
  • Gianni, P., Trager, B., Zacharias, G., Bases and primary decomposition of ideals (1988) J. Symbolic Computation, (6), pp. 149-167
  • Giusti, M., Some effective problems in polynomial ideal theory (1984) EUROSAM 84, Lecture Notes in Computer Science, (174), pp. 159-171
  • Greuel, G.-M., Pfister, G., (2002) A Singular Introduction to Commutative Algebra, , Springer
  • Greuel, G.-M., Pfister, G., Schonemann, H., (2005) SINGULAR 3.0.1. A Computer Algebra System for Polynomial Computations, , http://www.singular.uni-kl.de, Centre for Computer Algebra, University of Kaiserslautern
  • Heintz, J., Definability and fast quantifier elimination over algebraically closed fields (1983) Theor. Comp. Science, (24), pp. 239-278
  • Kemper, G., The calculation of radical ideals in positive characteristic (2002) J. Symbolic Computation, (34), pp. 229-238
  • Krick, T., Logar, A., An algorithm for the computation of the radical of an ideal in the ring of polynomials (1991) AAECC9, Springer LNCS, (539), pp. 195-205
  • Krick, T., Logar, A., Membership problem, representation problem and the computation of the radical for one-dimensional ideals (1991) Progress in Mathematics, (94), pp. 203-216
  • Krick, T., Pardo, L.M., Sombra, M., Sharp estimates for the arithmetic nullstellensatz (2001) Duke Math J., (109), pp. 521-598
  • Matsumoto, R., Computing the radical of an ideal in positive characteristic (2001) J. Symbolic Computation, (32), pp. 263-271
  • Seidenberg, A., Constructions in algebra (1974) Trans. Amer. Math. Soc., 197, pp. 273-313
  • Vasconcelos, W., (1998) Computational Methods in Commutative Algebra and Algebraic Geometry, , Springer-VerlagA4 - ACM SIGSAM

Citas:

---------- APA ----------
(2006) . An algorithm for the computation of the radical of an ideal. International Symposium on Symbolic and Algebraic Computation, ISSAC 2006, 2006, 191-195.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959327_v2006_n_p191_Laplagne [ ]
---------- CHICAGO ----------
Laplagne, S. "An algorithm for the computation of the radical of an ideal" . International Symposium on Symbolic and Algebraic Computation, ISSAC 2006 2006 (2006) : 191-195.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959327_v2006_n_p191_Laplagne [ ]
---------- MLA ----------
Laplagne, S. "An algorithm for the computation of the radical of an ideal" . International Symposium on Symbolic and Algebraic Computation, ISSAC 2006, vol. 2006, 2006, pp. 191-195.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959327_v2006_n_p191_Laplagne [ ]
---------- VANCOUVER ----------
Laplagne, S. An algorithm for the computation of the radical of an ideal. Proc Int Symp Symbol Algebraic Comput ISSAC. 2006;2006:191-195.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959327_v2006_n_p191_Laplagne [ ]