Hostname: page-component-77c89778f8-gq7q9 Total loading time: 0 Render date: 2024-07-18T13:09:39.085Z Has data issue: false hasContentIssue false

Towards a calculus of algorithms

Published online by Cambridge University Press:  17 April 2009

M. Bulmer
Affiliation:
Department of MathematicsUniversity of Tasmania Hobart, Tas 7000, Australia
D. Fearnley-Sander
Affiliation:
Department of MathematicsUniversity of Tasmania Hobart, Tas 7000, Australia
T. Stokes
Affiliation:
Department of MathematicsUniversity of Tasmania Hobart, Tas 7000, Australia
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We develop a generalised polynomial formalism which captures the concept of an algebra of piece-wise denned polynomials. The formalism is based on the Boolean power construction of universal algebra. A generalisation of the theory of substitution homomorphisms is developed. The abstract operation of composition of generalised polynomials in one variable is denned and shown to correspond to function composition.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1994

References

[1]Lausch, H. and Nobauer, W., Algebra of polynomials, North-Holland mathematical library 5 (North-Holland, Amsterdam, 1973).CrossRefGoogle Scholar
[2]Pinus, A.G., ‘Boolean Constructions in Universal Algebra’, Russian Math. Surveys 47 (1992), 157198.CrossRefGoogle Scholar