nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Generalized Integral Dependence Relations

verfasst von : Katsusuke Nabeshima, Shinichi Tajima

Erschienen in: Mathematical Aspects of Computer and Information Sciences

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

A generalization of integral dependence relations in a ring of convergent power series is studied in the context of symbolic computation. Based on the theory of Grothendieck local duality on residues, an effective algorithm is introduced for computing generalized integral dependence relations. It is shown that, with the aid of local cohomology, generalized integral dependence relations in the ring of convergent power series can be computed in a polynomial ring. An extension of the proposed method to parametric cases is also discussed.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Proving Two Conjectural Series for and Discovering More Series for

Nächstes Kapitel Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential Field Extensions

Becker, T., Weispfenning, V.: Gröbner Bases. Springer, New York (1993). https://doi.org/10.1007/978-1-4612-0913-3_6CrossRefMATH

Griffiths, P., Harris, J.: Principles of Algebraic Geometry. A Wiley-Interscience publication (1978)

Kapur, D., Sun, Y., Wang, D.: An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial systems. J. Symb. Comput. 49, 27–44 (2013)CrossRef

Kashiwara, M.: \(B\)-functions and holonomic systems. Rationality of roots of \(B\)-functions. Invent. Math. 38, 33–53 (1976–1977)

Nabeshima, K.: On the computation of parametric Gröbner bases for modules and syzygies. Jpn. J. Ind. Appl. Math. 27, 217–238 (2010)MathSciNetCrossRef

Nabeshima, K.: Stability conditions of monomial bases and comprehensive Gröbner systems. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol. 7442, pp. 248–259. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32973-9_21CrossRef

Nabeshima, K., Tajima, S.: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. In: Proceedings of the ISSAC 2014, pp. 351–358. ACM (2014)

Nabeshima, K., Tajima, S.: Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities. In: Proceedings of the ISSAC 2015, pp. 291–298. ACM (2015)

Nabeshima, K., Tajima, S.: Solving extended ideal membership problems in rings of convergent power series via Gröbner bases. In: Kotsireas, I.S., Rump, S.M., Yap, C.K. (eds.) MACIS 2015. LNCS, vol. 9582, pp. 252–267. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-32859-1_22CrossRefMATH

10.

Nabeshima, K., Tajima, S.: Computing Tjurina stratifications of \(\mu \)-constant deformations via parametric local cohomology systems. Appl. Algebra Eng. Commun. Comput. 27, 451–467 (2016)MathSciNetCrossRef

11.

Nabeshima, K., Tajima, S.: Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals. J. Symb. Comput. 82, 91–122 (2017)MathSciNetCrossRef

12.

Nabeshima, K., Tajima, S.: Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems. Math. Comput. Sci. 13, 185–194 (2019)MathSciNetCrossRef

13.

Nabeshima, K., Tajima, S.: Testing zero-dimensionality of varieties at a point. To appear in Mathematics in Computer Science. arXiv:1903.12365 [cs.SC] (2019)

14.

Noro, M., Takeshima, T.: Risa/Asir - a computer algebra system. In: Proceedings of the ISSAC 1992, pp. 387–396. ACM (1992). http://www.math.kobe-u.ac.jp/Asir/asir.html

15.

Scherk, J.: On the Gauss-Manin connection of an isolated hypersurface singularity. Math. Ann. 238, 23–32 (1978)MathSciNetCrossRef

16.

Shibuta, F., Tajima, S.: An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideal of Cohen-Macaulay local rings. J. Symb. Comput. 96, 108–121 (2020)MathSciNetCrossRef

17.

Swanson, I., Huneke, C.: Integral Closure of Ideals. Rings, and Modules. Cambridge University Press, Cambridge (2006)MATH

18.

Tajima, S.: On polar varieties, logarithmic vector fields and holonomic \(D\)-modules. RIMS Kôkyûroku Bessatsu 40, 41–51 (2013)MathSciNetMATH

19.

Tajima, S., Nakamura, Y.: Annihilating ideals for an algebraic local cohomology class. J. Symb. Comput. 44, 435–448 (2009)MathSciNetCrossRef

20.

Tajima, S., Nakamura, Y., Nabeshima, K.: Standard bases and algebraic local cohomology for zero dimensional ideals. Adv. Stud. Pure Math. 56, 341–361 (2009)MathSciNetCrossRef

21.

Vasconcelos, W.: Computational Methods in Commutative Algebra and Algebraic Geometry. Springer, Heidelberg (1998)CrossRef

22.

Yano, T.: On the theory of \(b\)-functions. Pub. Res. Inst. Math. Sci. 14, 111–202 (1978)CrossRef

Titel: Generalized Integral Dependence Relations
verfasst von: Katsusuke Nabeshima
Shinichi Tajima
Verlag: Springer International Publishing
Buch: Mathematical Aspects of Computer and Information Sciences
Print ISBN: 978-3-030-43119-8

Electronic ISBN: 978-3-030-43120-4

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-43120-4_6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"