259
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Algebraic Formula Manipulation in a Functional Language: A First Attempt

      proceedings-article
      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)
      Functional Programming
      10-12 July 1995
      Bookmark

            Abstract

            This paper represents the author's attempt to come to grips with some of the practical problems that arise out of conventional algebraic manipulation and leads to a discussion of the possibilities of generalising algebraic concepts such as commutativity and associativity to other algebraic systems. An account is given of a class instance providing manipulation and simplification of 'school' algebraic formulae. A concept of variability is introduced which controls the order in which terms and factors appear in sums and products. Rules based on the commutative, associative and distributive laws of algebra, for simplification of sums, products and a few basic operators are presented. Some discussion is given of how an advanced class system could possibly be of help in general algebraic simplification problems.

            Content

            Author and article information

            Contributors
            Conference
            July 1995
            July 1995
            : 1-8
            Affiliations
            [0001]School of Mathematical and Computational Science, St. Andrews University

            St. Andrews, Fife
            Article
            10.14236/ewic/FP1995.5
            95fd8232-ea80-4397-8116-f903de74feca
            © Antony J.T. Davie. Published by BCS Learning and Development Ltd. Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 1995 Glasgow Workshop on Functional Programming
            FP
            Ullapool, Scotland
            10-12 July 1995
            Electronic Workshops in Computing (eWiC)
            Functional Programming
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FP1995.5
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article