International Symposium on Symbolic and Algebraic Manipulation

EUROSAM 1979: Symbolic and Algebraic Computation pp 258-265 | Cite as

The initial design of a vector based algebra system

  • A. C. Norman
  • P. M. A. Moore
7. Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)


This report explains the aims and presents the design of a new algebra system that is being constructed in Cambridge. It discusses in particular three areas that seem to lead to complicated and often conflicting requirements — the selection of basic data-structures, the incorporation and support of the most efficient algorithms and the design of an interface between the system and its users. We present the ways in which our ideas influence reliability, portability, efficiency, generality and flexibility. Our view of the relative importance of these attributes is given.


Univariate Polynomial Symbol Table System Builder Sparse Polynomial High Level Algorithm 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Fitch, J.P. and Norman, A.C., "A Note on Compacting Garbage Collecting" Comp J 21 1 Feb 1978 pp 31–34.Google Scholar
  2. [2]
    Goto, E. and Kanada, Y., "Hashing Lemmas on Time Complexity with Applications to Formula Manipulation" Proc SYMSAC 76, ACM 1976 pp 154–8.Google Scholar
  3. [3]
    Gustavson, F.G. and Yun, D.Y.Y., "Arithmetic Complexity of Unordered Sparse Polynomials" Proc SYMSAC 76, ACM 1976 pp 149–53.Google Scholar
  4. [4]
    Horowitz, E., "A Sorting Algorithm for Polynomial Manipulation" JACM 22 4 Oct 1975 pp 450–62.Google Scholar
  5. [5]
    Jenks, R.D. "MODLISP" These Proceedings.Google Scholar
  6. [6]
    Johnson, S.C., "Sparse Polynomial Arithmetic" Proc EUROSAM 74, SIGSAM bulletin 8 3 Aug 1974 pp 63–71.Google Scholar
  7. [7]
    Turner, D.A., SASL Language Manual report CS/75/1, University of St Andrews 1976.Google Scholar
  8. [8]
    Wang, P., "An Improved Multivariate Polynomial Factoring Algorithm" Math Comp 32 144 Oct 1978 pp 1215–31.Google Scholar
  9. [9]
    Yun, D.Y.Y., "The Hensel Lemma in Algebraic Manipulation" MAC-TR-138, MIT 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • A. C. Norman
    • 1
  • P. M. A. Moore
    • 1
  1. 1.University of Cambridge Computer LaboratoryUK

Personalised recommendations