Abstract
We describe the current state of a package, written in REDUCE, that is being developed to solve the following problems that arise in applications of elementary catastrophe theory. For an input unfolding of some singularity, the recognition problem is to find a set of topological invariants that fix the equivalence class of the singularity. If the modality invariant is less than 3 then normal forms for unfoldings are known. The recognition algorithm employs the Buchberger Algorithm for Gröbner bases modified to the local requirements of singularity theory. The mapping problem is to find the taylor polynomial, up to any desired degree, of the right-equivalence that transforms the given unfolding into its normal form.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Arnold, V.I., 1974 ‘Critical points of smooth functions and their normal forms', Usp. Mat. Nauk 29 pp 11–49. (Translated as Russ. Math. Surveys 29 pp 10–50).
Bruce, J. W., du Plessis, A. A. and Wall, C. T. C., 1987 ‘Unipotency and Determinacy', Invent. Math. 88 pp 521–554.
Buchberger, B., 1985 ‘Gröbner Bases: An algorithmic method in polynomial ideal theory', in Multidimensional systems theory: progress, directions, and open problems in multidimensional systems (Edited by N. K. Bose) Dordrecht, Holland: D. Reidel.
Colvin, A. P., 1988 Private communication.
Cowell, R. G., 1989 ‘Application of ordered standard bases to catastrophe theory’ (Submitted to Proc. LMS.)
Cowell, R. G. and Wright, F. J., 1989a ‘Truncation criteria and algorithm for the reduction to normal form of catastrophe unfoldings I: Singularities with zero rank’ (Submitted to Phil. Trans. R. Soc. Lond.)
Cowell, R. G. and Wright, F. J., 1989b ‘Truncation criteria and algorithm for the reduction to normal form of catastrophe unfoldings II: Singularities with non-zero rank’ (Submitted to Phil. Trans. R. Soc. Lond.)
Gibson, C. G., 1979 Singular points of smooth mappings, London: Pitman.
Millington, K., 1985 ‘Using computer algebra to determine equivalences in catastrophe theory’ (Ph.D. Thesis, University of London).
Millington, K. and Wright, F. J., 1985 ‘Algebraic computations in elementary catastrophe theory,’ EUROCAL'85 Lecture Notes in Computer Science 204 (Berlin, Heidelberg: Springer) pp 116–125.
Poston, T. and Stewart, I. N., 1978 Catastrophe Theory and its Applications, London: Pitman.
Stewart, I. N., 1981 ‘Applications of catastrophe theory to the physical sciences', Physica 2D, pp 245–305.
Stewart, I. N., 1982 ‘Catastrophe theory in Physics', Rep. Prog. Phys. 45 pp 185–221.
Thom, R., 1972 Stabilité Structurelle et Morphogénèse. Reading, Mass.: Benjamin. (English translation by D. H. Fowler, 1975, Stuctural Stability and Morphogenesis. Reading, Mass.: Benjamin.)
Wright, F. J. and Cowell, R. G., 1987 ‘Computer algebraic tools for applications of catastrophe theory', in The Physics of Structure Formation: Theory and Simulation. Eds. W. Güttinger and G. Dangelmayr. Berlin: Springer, pp 402–415.
Wright, F. J. and Dangelmayr, G., 1985 ‘Explicit iterative algorithms to reduce a univariate catastrophe to normal form', Computing 35 pp 73–83.
Zeeman, E. C., 1977 Catastrophe Theory. Reading, Mass.: Addison-Wesley.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cowell, R.G., Wright, F.J. (1989). Catfact: Computer algebraic tools for applications of catastrophe theory. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_91
Download citation
DOI: https://doi.org/10.1007/3-540-51517-8_91
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51517-3
Online ISBN: 978-3-540-48207-9
eBook Packages: Springer Book Archive