The ALPAK System for Nonnumerical Algebra on a Digital Computer - II: Rational Functions of Several Variables and Truncated Power Series with Rational-Function Coefficients

Abstract

This is the second in a series of papers describing the ALPAK system for nonnumerical algebra on a digital computer. The first paper, Ref. 1, is concerned with polynomials in several variables and truncated power series with polynomial coefficients. This paper is concerned with rational functions of several variables and truncated power series with rational-function coefficients. A third paper, Ref. 3, will discuss systems of linear equations with rational-function coefficients. The ALPAK system has been programmed within the BE-SYS-4 monitor system on the IBM 7090 computer, but the language and concepts are machine-independent. Several practical applications are described in Ref. 1. This paper is divided into five sections. The first deals with basic concepts, the second defines canonical forms, and the third describes ALPAK's greatest common divisor algorithm. These three sections do not presuppose any knowledge of computers or computer programming. Section IV describes the use and the implementation of the algebraic operations relating to rational functions of several variables and truncated power series with rational-function coefficients. The reader of this section is assumed to be familiar with the basic concepts of computer programming and with Ref. 1. Finally, Section V discusses very briefly some of our plans and hopes for the future.