Skip to main content
Top

2013 | OriginalPaper | Chapter

7. Examples and Exercises

Authors : Hiromasa Nakayama, Kenta Nishiyama

Published in: Gröbner Bases

Publisher: Springer Japan

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

There are two aspects to the study of Gröbner bases: theory and computation. For problems which are difficult to solve by theoretical approaches, it may be possible to obtain solutions by computation, using either brute force or more elegant methods. On the other hand, for problems for which the computational methods are difficult, it may be possible to obtain solutions by a combination of theoretical insight and calculations. This is one of the attractions of Gröbner bases. Chapters 4–6 emphasized the theoretical aspect. In this chapter, we present problems and answers which utilize various software systems. It is our hope that readers will perform the calculations on these software systems while studying this chapter. Following these problems and their answers, we provide easy exercises which will help the reader to understand how to use these software systems to study or apply Gröbner bases. We will use computer algebra systems, statistical software systems, and some expert systems for polytopes and toric ideals; this covers several areas related to the theory and applications of Gröbner bases.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

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!

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!

Footnotes
1
Error messages may be displayed if Asir Contrib is not loaded since the package yang.rr uses some functions defined in Asir Contrib. If this happens, use the command import(‘‘names.rr’’);.
 
2
The command initialIdealW accomplishes this procedure in Singular. However, there may be a bug in version 3-1-2.
 
Literature
1.
5.
go back to reference A. Erdélyi, W. Magnus, F. Oberhettinger, F.G. Tricomi, Higher Transcendental Functions, Vol. 1 (McGraw-Hill, 1953) A. Erdélyi, W. Magnus, F. Oberhettinger, F.G. Tricomi, Higher Transcendental Functions, Vol. 1 (McGraw-Hill, 1953)
6.
go back to reference E. Gawrilow, M. Joswig, polymake: a framework for analyzing convex polytopes, in Polytopes — Combinatorics and Computation (2000), pp. 43–74. http://polymake.org/ E. Gawrilow, M. Joswig, polymake: a framework for analyzing convex polytopes, in Polytopes — Combinatorics and Computation (2000), pp. 43–74. http://​polymake.​org/​
8.
go back to reference R. Hemmecke, P.N. Malkin, Computing generating sets of lattice ideals and Markov bases of lattices. J. Symb. Comput. 44, 1463–1476 (2009)CrossRefMATHMathSciNet R. Hemmecke, P.N. Malkin, Computing generating sets of lattice ideals and Markov bases of lattices. J. Symb. Comput. 44, 1463–1476 (2009)CrossRefMATHMathSciNet
9.
go back to reference T. Hibi, Gröbner Bases (Asakura, Tokyo, 2003) (in Japanese) T. Hibi, Gröbner Bases (Asakura, Tokyo, 2003) (in Japanese)
10.
go back to reference Y. Iba, M. Tanemura, Y. Omori, H. Wago, S. Sato, A. Takahashi, Computational Statistics II. Frontiers of Statistical Science, vol. 12 (Iwanami, Tokyo, 2005) (in Japanese) Y. Iba, M. Tanemura, Y. Omori, H. Wago, S. Sato, A. Takahashi, Computational Statistics II. Frontiers of Statistical Science, vol. 12 (Iwanami, Tokyo, 2005) (in Japanese)
13.
go back to reference M. Noro, An efficient modular algorithm for computing the global b-function, mathematical software, in Proceedings of ICMS2002 (World Scientific, Singapore, 2002), pp. 147–157 M. Noro, An efficient modular algorithm for computing the global b-function, mathematical software, in Proceedings of ICMS2002 (World Scientific, Singapore, 2002), pp. 147–157
16.
go back to reference T. Oaku, Computation of the characteristic variety and the singular locus of a system. Jpn. J. Ind. Appl. Math. 11, 485–497 (1994)CrossRefMATHMathSciNet T. Oaku, Computation of the characteristic variety and the singular locus of a system. Jpn. J. Ind. Appl. Math. 11, 485–497 (1994)CrossRefMATHMathSciNet
17.
go back to reference T. Oaku, D-modules and Computational Mathematics (Asakura, Tokyo, 2002) (in Japanese) T. Oaku, D-modules and Computational Mathematics (Asakura, Tokyo, 2002) (in Japanese)
20.
go back to reference M. Saito, B. Sturmfels, N. Takayama, Gröbner Deformations of Hypergeometric Differential Equations (Springer, Berlin, 2000)CrossRefMATH M. Saito, B. Sturmfels, N. Takayama, Gröbner Deformations of Hypergeometric Differential Equations (Springer, Berlin, 2000)CrossRefMATH
21.
go back to reference A. Schrijver, Theory of Linear and Integer Programming (Wiley Interscience, New York, 1986)MATH A. Schrijver, Theory of Linear and Integer Programming (Wiley Interscience, New York, 1986)MATH
22.
go back to reference B. Sturmfels, Gröbner Bases and Convex Polytopes. University lecture series 8 (American Mathematical Society, Providence, 1995) B. Sturmfels, Gröbner Bases and Convex Polytopes. University lecture series 8 (American Mathematical Society, Providence, 1995)
Metadata
Title
Examples and Exercises
Authors
Hiromasa Nakayama
Kenta Nishiyama
Copyright Year
2013
Publisher
Springer Japan
DOI
https://doi.org/10.1007/978-4-431-54574-3_7

Premium Partner