Skip to main content
Book cover

European Conference on Computer Algebra

EUROCAL 1987: Eurocal '87 pp 71–80Cite as

Catfact: Computer algebraic tools for applications of catastrophe theory

Applications And Systems

Part of the Lecture Notes in Computer Science book series (LNCS,volume 378)

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.

Keywords

  • Normal Form
  • Catastrophe Theory
  • Taylor Polynomial
  • Simple Singularity
  • Finite Determinacy

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-51517-8_91
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   139.00
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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).

    Google Scholar 

  • Bruce, J. W., du Plessis, A. A. and Wall, C. T. C., 1987 ‘Unipotency and Determinacy', Invent. Math. 88 pp 521–554.

    CrossRef  Google Scholar 

  • 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.

    Google Scholar 

  • Colvin, A. P., 1988 Private communication.

    Google Scholar 

  • Cowell, R. G., 1989 ‘Application of ordered standard bases to catastrophe theory’ (Submitted to Proc. LMS.)

    Google Scholar 

  • 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.)

    Google Scholar 

  • 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.)

    Google Scholar 

  • Gibson, C. G., 1979 Singular points of smooth mappings, London: Pitman.

    Google Scholar 

  • Millington, K., 1985 ‘Using computer algebra to determine equivalences in catastrophe theory’ (Ph.D. Thesis, University of London).

    Google Scholar 

  • 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.

    Google Scholar 

  • Poston, T. and Stewart, I. N., 1978 Catastrophe Theory and its Applications, London: Pitman.

    Google Scholar 

  • Stewart, I. N., 1981 ‘Applications of catastrophe theory to the physical sciences', Physica 2D, pp 245–305.

    Google Scholar 

  • Stewart, I. N., 1982 ‘Catastrophe theory in Physics', Rep. Prog. Phys. 45 pp 185–221.

    CrossRef  Google Scholar 

  • 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.)

    Google Scholar 

  • 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.

    Google Scholar 

  • Wright, F. J. and Dangelmayr, G., 1985 ‘Explicit iterative algorithms to reduce a univariate catastrophe to normal form', Computing 35 pp 73–83.

    Google Scholar 

  • Zeeman, E. C., 1977 Catastrophe Theory. Reading, Mass.: Addison-Wesley.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematical Sciences, Queen Mary College, University of London, Mile End Road, E1 4NS, LONDON, UK

    R. G. Cowell & F. J. Wright

Authors
  1. R. G. Cowell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. J. Wright
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

    Rights and permissions

    Reprints 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