The design of the Cambridge algebra system

ABSTRACT

This paper discusses the design of the CAMbridge ALgebra system and describes some of the techniques that are used in its implementation. These techniques enable that system to provide reasonably general algebraic manipulation in an efficient way. The concepts of modularity and selection are introduced and their influence on the overall structure of the system is described. Examples of selection and editing facilities are given since these are considered to be a necessary part of any algebra system. The paper also discusses data structures that are appropriate for algebraic systems and examples are given for two of the CAMAL modules.

REFERENCES

• 1: Barron, D.W., Brown, H., Hartley, D.F. and Swinnerton-Dyer, H.P.F. Titan Autocode Programming Manual. University Mathematical Laboratory, Cambridge (1967).
• 2: Barton, D. A new technique for the Lunar theory. Ph.D. Thesis, Cambridge University (1966).
• 3: Barton, D. A scheme for manipulative algebra on a computer. Comp. J. 9 (1967), 340.
• 4: Barton, D., Bourne, S.R., and Burgess, C.J. A simple algebra system. Comp. J. 11 (1968), 293.
• 5: Barton, D., Bourne, S.R., and Fitch, J.P. An algebra system. Comp. J. 13 (1970), 32.
• 6: Barton, D., Bourne, S.R., and Horton, J.R. The structure of the Cambridge Algebra system. Comp. J. 13 (1970), 243.
• 7: Bourne, S.R. Automatic Algebraic Manipulation and its Application to the Lunar Theory. Ph.D. Thesis, Cambridge University (1970).
• 8: Bourne, S.R. and Horton, J.R. The CAMAL System Manual. Computer Laboratory, Cambridge (1971).
• 9: Brown, W.S., Hyde, J.P. and Tague, B.A. ALPAK II. Bell Tech. J. 43 (1964), 785.
• 10: d'Inverno, R. ALAM - Atlas Lisp Algebraic Manipulator Comp. J. 12 (1969), 124.
• 11: Engeli, M.E. User's Manual for the Formula Manipulation Language SYMBAL. Computation Center, The University of Texas at Austin (1968).
• 12: Hearn, A.C. A program for symbolic algebraic computation. SHARE XXXIV, Denver 1970.
• 13: Edgar T. Irons, A syntax directed compiler for ALGOL 60, Communications of the ACM, v.4 n.1, p.51-55, Jan. 1961 [doi>10.1145/366062.366083]
• 14: Martin, W.A. Symbolic Mathematical Laboratory. Ph.D. Thesis, M.I.T. (1967).
• 15: Matthewman, J.H. Ph.D. Thesis, Cambridge University (1966).
• 16: Richardson, D. Ph.D. Thesis, University of Bristol (1966).
• 17: Tobey, R.G., et al. PL/1 FORMAC Interpreter. Users reference manual. IBM Contributed Program Library 360 D 03.3004, Hawthorne, N.Y. (1967).

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.3 Languages and Systems

Additional Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.1 Expressions and Their Representation

General Terms:
Algorithms, Languages, Theory