Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fitch, J.P. and Norman, A.C., "A Note on Compacting Garbage Collecting" Comp J 21 1 Feb 1978 pp 31–34.
Goto, E. and Kanada, Y., "Hashing Lemmas on Time Complexity with Applications to Formula Manipulation" Proc SYMSAC 76, ACM 1976 pp 154–8.
Gustavson, F.G. and Yun, D.Y.Y., "Arithmetic Complexity of Unordered Sparse Polynomials" Proc SYMSAC 76, ACM 1976 pp 149–53.
Horowitz, E., "A Sorting Algorithm for Polynomial Manipulation" JACM 22 4 Oct 1975 pp 450–62.
Jenks, R.D. "MODLISP" These Proceedings.
Johnson, S.C., "Sparse Polynomial Arithmetic" Proc EUROSAM 74, SIGSAM bulletin 8 3 Aug 1974 pp 63–71.
Turner, D.A., SASL Language Manual report CS/75/1, University of St Andrews 1976.
Wang, P., "An Improved Multivariate Polynomial Factoring Algorithm" Math Comp 32 144 Oct 1978 pp 1215–31.
Yun, D.Y.Y., "The Hensel Lemma in Algebraic Manipulation" MAC-TR-138, MIT 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Norman, A.C., Moore, P.M.A. (1979). The initial design of a vector based algebra system. In: Ng, E.W. (eds) Symbolic and Algebraic Computation. EUROSAM 1979. Lecture Notes in Computer Science, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09519-5_78
Download citation
DOI: https://doi.org/10.1007/3-540-09519-5_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09519-4
Online ISBN: 978-3-540-35128-3
eBook Packages: Springer Book Archive