PM, a system for polynomial manipulation

ABSTRACT

PM is an IBM 7094 program system for formal manipulation of polynomials in any number of variables, with integral coefficients unrestricted in size. Some of the formal opeartions which can be performed by the system are sums, differences, products, quotients, derivatives, substitutions and greatest common divisors. PM is based on the REFCO III list processing system, which is described and compared with the LISP and SLIP systems. The PM subroutines for arithmetic of large integers are described as constituting an independently useful subsystem. PM is compared with the ALPAK system in several respects, including the choices of canonical forms for polynomials. A new algorithm for polynomial greatest common divisor calculation is mentioned, and examples are included to illustrate its superiority.

REFERENCES

• 1: George E. Collins, A method for overlapping and erasure of lists, Communications of the ACM, v.3 n.12, p.655-657, Dec. 1960 [doi>10.1145/367487.367501]
• 2: --. REFCO I I I , a reference count list processing system for the IBM 7094. IBM Res. Rept. RC-1436, May, 1965.
• 3: MCCARTHY, J., ET AL. LISP I programmer's manual. Computation Center and Res. Lab. of Electronics, MIT, Cambridge, Mass., 1960.
• 4: J. Weizenbaum, Symmetric list processor, Communications of the ACM, v.6 n.9, p.524-536, Sept. 1963 [doi>10.1145/367593.367617]
• 5: GLASNER, JUDITH, ET AL. The NU-SPEAK system. NYO- 1480-9, Courant Inst. of Mathematical Sciences, New York University, New York, N.Y., Nov. 1964.
• 6: David A. Pope , Marvin L. Stein, Multiple precision arithmetic, Communications of the ACM, v.3 n.12, p.652-654, Dec. 1960 [doi>10.1145/367487.367499]
• 7: Albert G. Cox , H. A. Luther, A note on multiple precision arithmetic, Communications of the ACM, v.4 n.8, p.353, Aug. 1961 [doi>10.1145/366678.366693]
• 8: BROWN, W.S. The ALPAK system for non-numerical algebra on a digital computer--I: Polynomials in several variables and truncated power series with polynomial coefficients. Bell Sys. Tech. J. 42 (Sept. 1963), 2081-2119.
• 9: --, HYDE, J. P., AND TAGUE, B. A. The ALPAK system for non-numerical algebra on a digital computer-II: Rational functions of several variables and truncated power series with rational function coefficients. Bell Sys. Tech. J. 48 (March 1964), 785-804.
• 10: HYDE, J. P. The ALPAK system for non-numerical algebra on a digital computer--III: systems of linear equations and a class of side relations. Bell Sys. Tech. J., 43, (July, 1964), 1547-1562.
• 11: TARSKI, A. A Decision Method for Elementary Algebra and Geometry. U. of California Press, Berkeley, Calif., 2nd ed.
• 12: COLLINS, G. E. Polynomial remainder sequences and determinants. IBM Res. Rept. RC-1209, June, 1964. Also Am. Math. Month. to be published.
• 13: --. Subresultants and reduced polynomial remainder sequences. Notices of the Am. Math. Soc., to appear.
• 14: USPENSKY, J. V., AND HEASLET, M. A. Elementary Number Theory. McGraw Hill Co., New York, N. Y., 1939, pp. 43-45.