Abstract
This note presents a fast version of the classical algorithm to represent any symmetric function in a unique way as a polynomial in the elementary symmetric polynomials by using power sums of variables. We analyze the worst case complexity for both algorithms, the original and the fast version, and confirm our results by empirical run-time experiments. Our main result is a fast algorithm with a polynomial worst case complexity w.r.t. the total degree of the input polynomial compared to the classical algorithm with its exponential worst case complexity. Keywords. Symmetric polynomials, dynamic power sum representation, fast rewriting techniques
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Becker, T., Weispfenning, V., in Cooperation with Kredel, H. (1993). Gröbner Bases: A Computational Approach to Commutative Algebra. Springer
Bratley, P., McKay, J. (1967, 1968). Algorithm 305, 450: Symmetric Polynomials. Communications of the ACM, Vol. 10, 450, Vol. 11, 272
Eisenbud, D. (1994). Commutative Algebra with a View Towards Algebraic Geometry. Springer
Edwards, H. M. (1993). Galois Theory. Springer
Göbel, M. (1995). Computing Bases for Permutation-Invariant Polynomials. Journal of Symbolic Computation 19, 285–291
Göbel, M. (1997). The Invariant Package of MAS. In: Comon, H., (ed.), Rewriting Techniques and Applications, 8th Intl. Conf., RTA-97, volume 1232 of LNCS, Springer, 327–330
Göbel, M. (1998). On the Reduction of G-invariant Polynomials for Arbitrary Permutation Groups G. In: Bronstein, M., Grabmeier, J., Weispfenning, V., (eds.), Symbolic Rewriting Techniques, Progress in Computer Science and Applied Logic (PCS 15), 71–92, Monte Verita, Schwitzerland. Birkhauser
Kredel, H. (1990). MAS: Modula-2 Algebra System. In: Gerdt, V. P., Rostovtsev, V. A., Shirkov, D. V., (eds.), IV International Conference on Computer Algebra in Physical Research. World Scientific Publishing Co., Singapore, 31–34
Lauer, E. (1976a). Algorithms for Symmetrical Polynomials. In: Jenks, R. D., (ed.), ACM Symposium on Symbolic and Algebraic Computation. ACM Press, New York, 242–247
Lauer, E. (1976b). Algorithmen fur symmetrische Polynome. Diplomarbeit. Universit at Kaiserslautern
Loos, R. (1981). Term Reduction Systems and Algebraic Algorithms. In: Siekmann, J. H. (ed.), GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef. Informatik-Fachberichte, Herausgegeben von W. Brauer im Auftrag der Gesellschaft fur Informatik (GI), 47. Springer, 214–234
Netto, E. (1896). Vorlesungen uber Algebra. Leipzig, Teubner
Macdonald, I. G. (1995). Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford University Press.
Sturmfels, B. (1993). Algorithms in Invariant Theory. Springer
van der Waerden, B. L. (1971). Algebra I. Springer
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
G#x00F6;bel, M. (1999). Fast Rewriting of Symmetric Polynomials. In: Narendran, P., Rusinowitch, M. (eds) Rewriting Techniques and Applications. RTA 1999. Lecture Notes in Computer Science, vol 1631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48685-2_29
Download citation
DOI: https://doi.org/10.1007/3-540-48685-2_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66201-3
Online ISBN: 978-3-540-48685-5
eBook Packages: Springer Book Archive