Arithmetic of Polynomials, Rational Functions, and Power Series
In Chapter 2 we introduced the basic algebraic domains which are of interest to computer algebra. This was followed by the representation problem, that is, the problem of how elements of these algebras are to be represented in a computer environment. Having described the types of objects along with the various representation issues, there follows the problem of implementing the various algebraic operations that define the algebras. In this chapter we describe the arithmetic operations of addition, subtraction, multiplication, and division for these domains. In particular, we describe these fundamental operations in the ring of integers modulo n, the ring of formal power series over a field, and the ring of polynomials over an integral domain along with their quotient fields. The latter includes the domain of multiprecision integers and rational numbers.
KeywordsPower Series Discrete Fourier Transform Arithmetic Operation Computer Algebra Modular Representation
Unable to display preview. Download preview PDF.
- 1.R.P. Brent and H.T. Kung, “Fast Algorithms for Composition and Reversion of Power Series,” pp. 217–225 in Algorithms and Complexity, ed. J.F. Traub, (1976).Google Scholar
- 3.D. Coppersmith and S. Winograd, “Matrix Multiplication via Arithmetic Progressions,” J. Symbolic Comp., 8(3) (1990).Google Scholar
- 4.I.N. Herstein, Topics in Algebra, Blaisdell (1964).Google Scholar
- 5.A. Karatsuba, “Multiplication of Multidigit Numbers on Automata,” Soviet Physics — Doklady, 7 pp. 595–596 (1963).Google Scholar
- 6.D.E. Knuth, The Art of Computer Programming, Volume 2: Seminumerical Algorithms (second edition), Addison-Wesley (1981).Google Scholar
- 7.J.D. Lipson, “Newton’s Method: A Great Algebraic Algorithm,” pp. 260–270 in Proc. SYMSAC’ 76, ed. R.D. Jenks, ACM Press (1976).Google Scholar
- 8.J.D. Lipson, Elements of Algebra and Algebraic Computing, Addision-Wesley (1981).Google Scholar
- 9.R.T. Moenck, “Practical Fast Polynomial Multiplication,” pp. 136–145 in Proc. SYMSAC’ 76, ed. R.D. Jenks, ACM Press (1976).Google Scholar
- 10.V. Pan, “Strassen’s Algorithm is not Optimal,” pp. 166–176 in Proc. of 19-th IEEE Symp. on Foundations of Computer Science, (1978).Google Scholar
- 14.J.F. Traub and H.T. Kung, “All Algebraic Functions Can Be Computed Fast,” J. ACM, pp. 245–260 (1978).Google Scholar