Abstract
We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; GCRD and LCLM; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. This paper is a tutorial on how to use the package.
All three authors were supported by the Austrian FWF grant Y464-N18.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abramov, S.A., Le, H.Q., Li, Z.: OreTools: a computer algebra library for univariate Ore polynomial rings. Technical report CS-2003-12, University of Waterloo (2003)
Sergei, S.A., van Hoeij, M.: Integration of solutions of linear functional equations. Integr. Transforms Spec. Funct. 9, 3–12 (1999)
Bronstein, M., Petkovšek, M.: An introduction to pseudo-linear algebra. Theor. Comput. Sci. 157(1), 3–33 (1996)
Chyzak, F.: Fonctions holonomes en calcul formel. Ph.D. thesis, INRIA Rocquencourt (1998)
Chyzak, F., Salvy, B.: Non-commutative elimination in Ore algebras proves multivariate identities. J. Symbolic Comput. 26, 187–227 (1998)
Hebisch, W., Rubey, M.: Extended rate, more GFUN. J. Symbolic Comput. 46(8), 889–903 (2011)
Jaroschek, M.: Improved polynomial remainder sequences for Ore polynomials. J. Symbolic Comput. 58, 64–76 (2013)
Jaroschek, M., Kauers, M., Chen, S., Singer, M.F.: Desingularization explains order-degree curves for Ore operators. In: Kauers, M. (ed.) Proceedings of ISSAC’13, pp. 157–164 (2013)
Kauers, M.: Guessing handbook. Technical report 09–07, RISC-Linz (2009)
Kauers, M.: The holonomic toolkit. In: Blümlein, J., Schneider, C. (eds.) Computer Algebra in Quantum Field Theory. Texts & Monographs in Symbolic Computation, pp. 119–144. Springer, Vienna (2013)
Koutschan, C.: Advanced applications of the holonomic systems approach. Ph.D. thesis, RISC-Linz, Johannes Kepler Universität Linz (2009)
Koutschan, C.: HolonomicFunctions (User’s Guide). Technical report 10–01, RISC Report Series, University of Linz, Austria, January 2010
Li, Z.: A Subresultant theory for linear differential, linear difference, and Ore polynomials, with applications. Ph.D. thesis, RISC-Linz (1996)
Mallinger, C.: Algorithmic manipulations and transformations of univariate holonomic functions and sequences. Master’s thesis, J. Kepler University, Linz, August 1996
Ore, Ø.: Theory of non-commutative polynomials. Ann. Math. 34, 480–508 (1933)
Salvy, B., Zimmermann, P.: Gfun: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Trans. Mathe. Softw. 20(2), 163–177 (1994)
Stein, W.A., et al.: Sage Mathematics Software (Version 5.9). The Sage Development Team (2013). http://www.sagemath.org
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Kauers, M., Jaroschek, M., Johansson, F. (2015). Ore Polynomials in Sage. In: Gutierrez, J., Schicho, J., Weimann, M. (eds) Computer Algebra and Polynomials. Lecture Notes in Computer Science(), vol 8942. Springer, Cham. https://doi.org/10.1007/978-3-319-15081-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-15081-9_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15080-2
Online ISBN: 978-3-319-15081-9
eBook Packages: Computer ScienceComputer Science (R0)