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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 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.
References
F. Chyzak, An extension of Zeilberger’s fast algorithm to general holonomic functions. Discrete Math. 217, 115–134 (2000)
F. Chyzak, Mgfun, http://algo.inria.fr/chyzak/mgfun.html
J.A. De Loera et al., LattE. http://www.math.ucdavis.edu/~{}latte/
W. Decker, G.-M. Greuel, G. Pfister, H. Schönemann, Singular 3-1-2 — A computer algebra system for polynomial computations. http://www.singular.uni-kl.de/
A. Erdélyi, W. Magnus, F. Oberhettinger, F.G. Tricomi, Higher Transcendental Functions, Vol. 1 (McGraw-Hill, 1953)
E. Gawrilow, M. Joswig, polymake: a framework for analyzing convex polytopes, in Polytopes — Combinatorics and Computation (2000), pp. 43–74. http://polymake.org/
D.R. Grayson, M.E. Stillman, Macaulay2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/
R. Hemmecke, P.N. Malkin, Computing generating sets of lattice ideals and Markov bases of lattices. J. Symb. Comput. 44, 1463–1476 (2009)
T. Hibi, Gröbner Bases (Asakura, Tokyo, 2003) (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)
A.N. Jensen, Gfan, a software system for Gröbner fans and tropical varieties. http://www.math.tu-berlin.de/~{}jensen/software/gfan/gfan.html
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, N. Takayama, Risa/Asir drill. http://www.math.kobe-u.ac.jp/Asir/ (2012, in Japanese)
M. Noro et al., Risa/Asir. http://www.math.kobe-u.ac.jp/Asir/asir-ja.html
T. Oaku, Computation of the characteristic variety and the singular locus of a system. Jpn. J. Ind. Appl. Math. 11, 485–497 (1994)
T. Oaku, D-modules and Computational Mathematics (Asakura, Tokyo, 2002) (in Japanese)
R Development Core Team, R: A language and environment for statistical computing. http://www.r-project.org/
J. Rambau, TOPCOM: triangulations of point configurations and oriented matroids, in Mathematical Software—ICMS 2002 (2002), pp. 330–340. http://www.rambau.wm.uni-bayreuth.de/TOPCOM/
M. Saito, B. Sturmfels, N. Takayama, Gröbner Deformations of Hypergeometric Differential Equations (Springer, Berlin, 2000)
A. Schrijver, Theory of Linear and Integer Programming (Wiley Interscience, New York, 1986)
B. Sturmfels, Gröbner Bases and Convex Polytopes. University lecture series 8 (American Mathematical Society, Providence, 1995)
N. Takayama, Kan/sm1. http://www.math.kobe-u.ac.jp/KAN/
Wolfram MathWorld, Horn Function. http://mathworld.wolfram.com/HornFunction.html
G. M. Ziegler, Lectures on Polytopes (Springer, Berlin, 1995)
4ti2 team, 4ti2—a software package for algebraic, geometric and combinatorial problems on linear spaces. http://www.4ti2.de/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Japan
About this chapter
Cite this chapter
Nakayama, H., Nishiyama, K. (2013). Examples and Exercises. In: Hibi, T. (eds) Gröbner Bases. Springer, Tokyo. https://doi.org/10.1007/978-4-431-54574-3_7
Download citation
DOI: https://doi.org/10.1007/978-4-431-54574-3_7
Published:
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-54573-6
Online ISBN: 978-4-431-54574-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)