Majewski MuPAD Pro Computing Essentials

Size: px

Start display at page:

Download "Majewski MuPAD Pro Computing Essentials"

Reginald Nash
5 years ago
Views:

1 Majewski MuPAD Pro Computing Essentials

2 Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo

3 Miroslaw Majewski MuPADPro Computing Essentials, Springer

4 Miroslaw Majewski Zayed University College of Information Systems P.O. Box 4783 Abu Dhabi United Arab Emirates Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Majewski,Miroslaw: MuPAD pro computing essentials 1 Miroslaw Majewski. - Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Tokyo: Springer, 2002 ISBN-13: e-isbn-13: DOl: / ISBN-13: Mathematics Subject Classification (2000): 97U50, 97U70 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York amember of Bertels mann Springer Science+Business Media GmbH Springer-Verlag Berlin Heidelberg 2002 The use of general descriptive names, registered names, trademarks etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover graphics by the author using POV-Ray Cover design: design & production, Heidelberg Typesetting by the author using Scientific Notebook from MacKichan Software, Inc. Printed on acid-free paper SPIN /3142ck

5 PREFACE~ The selection of topics making up mainstream mathematics has always been in a state of flux, depending on the state of mathematical knowledge and discovery, our changing understanding and interpretation of basic mathematical theorems and concepts, newly-found solutions to important mathematical problems, the interests of young researchers, and the computational needs of users of mathematics. An additional force is about to make inroads into determining our choice of topics: the personal computer and the computer algebra systems created for it. This book is one of the first to provide us with an exciting glimpse into the vast range of possibilities for rethinking what and how we teach in our mathematics courses. The book MuP AD Pro Computing Essentials does not pretend to be all things to all people. It is a very personal account of one new perspective of how mathematics can be taught and studied with the help of computer algebra. The selection of topics in this book is broad enough to satisfy the needs of most college and undergraduate university mathematics majors programs. Teachers of mathematics are currently locked in vigorous debate about the virtues of computer-assisted teaching and learning. Opponents of the use of this technology argue that student fails to learn the basics. All they manage to acquire is a facility for pressing appropriate buttons to achieve mathematical output that they fail to understand. This is precisely why it is essential that the proponents of computer-assisted teaching and learning write good books that illustrate the pedagogical and mathematical benefits of technology. The present book is an excellent example of what is needed. Let us consider the range of topics covered in the text. The first five chapters deal with the mechanics of using MuPAD. In doing so, they provide a quick introduction to basic principles of mathematical programming. This is appropriate for several reasons. First of all, it is required reading for those interested in using MuPAD. But it is also indispensable for all mathematics student who hope to use their knowledge in the workplace. Today and in the years to come,

6 mathematics graduates worth their salt are expected to be able to program in much the same way as they were expected to be able to use logarithm tables, slide rules and other gadgets in the past. The real contribution of the computer algebra approach to teaching and learning begins with Chapter 6. The study of graphs and surfaces has been revolutionized with help of computers. It is generally agreed that today's students are visually than verbally oriented. What better way to begin their mathematical career than to build on this skill Chapters 9 to 13 provide an excursion into the more traditional topics of college mathematics: the language of sets, number systems, and some algebra, trigonometry, calculus and linear algebra. As such, the book is in many ways a launching pad for the study of deeper mathematics with the help of MuPAD. The rapid development of specialized and advanced MuP AD libraries makes it possible to advance the project well beyond the practical limits set for this book. I am looking forward to introducing my students to new ways of thinking about mathematics using the MuP AD Pro Computing Essentials. Prof. Fred Szabo Concordia University Montreal, Canada

Contents 1. Introduction........ 1 1.1 What is Special about MuPAD... 2 1.2 What may you expect... 3 1.3 Writing "between"... 3 2. A Quick Introduction to MuPAD. 7.

6 Chapter Summary... 21.7 Review Exercises... 22 3. Programming in MuPAD - Declarations 25 3.1 Declaring Variables and Functions... 25 3.2 Declaring Functions... 28 3.

.. 40 4. Programming in MuPAD - Control Structures... 43 4.1 Decisions... 43 4.1.1 MuPAD Syntax: the "if.. then" Statement... 45 4.1.2 Indentation in MuPAD... 46 4.1.3 Quadratic Equation Example.

7 Contents 1. Introduction What is Special about MuPAD What may you expect Writing "between" A Quick Introduction to MuPAD. 7.1 The Very First Look... 7 :2..:2. Getting Started... 9 :2..3 A Quick Look at MuPAD's Interface Formatting Documents in MuPAD Getting Help Chapter Summary Review Exercises Programming in MuPAD - Declarations Declaring Variables and Functions Declaring Functions Writing Formulae in MuPAD Writing More than One Line of Code The Basics of the Domain Concept Chapter Summary Review exercises Programming in MuPAD - Control Structures Decisions MuPAD Syntax: the "if.. then" Statement Indentation in MuPAD Quadratic Equation Example Formatting the Output elif - a Useful Shortcut Programming Iterations in MuPAD The "for" loop MuPAD S ntax: the "for" Loo... 53

II MuPAD Pro Computing Essentials 4.2.3 The "while" and "repeat.. Loops... 54 4.2.4 MuPAD Syntax: the "while" and "repeat" Loops... 56 4.3 Selections... 56 4.3.1 MuPAD Syntax: the "case" Structure.

.. 75 5.4 Returning Unevaluated or Symbolic Expressions... 78 5.5 Shall We use Global or Local Variables?... 80 5.6 Using the Right Data Types in Procedures... 83 5.7 Domains and Types Summary... 87 5.

8 II MuPAD Pro Computing Essentials The "while" and "repeat.. Loops MuPAD Syntax: the "while" and "repeat" Loops Selections MuPAD Syntax: the "case" Structure Chapter Summary Programming Exercises Programming in MuPAD - Procedures and Libraries What is a Procedure Examples of Procedures Getting Output from Procedures Returning Unevaluated or Symbolic Expressions Shall We use Global or Local Variables? Using the Right Data Types in Procedures Domains and Types Summary Using Procedures to Produce Data Structures Sequences Lists Sets Strings B.5 Vectors and Matrices Procedures with Variable Number of Parameters Recursive Procedures Using Libraries User Defined Libraries of Procedures Final Comments on MuPAD Coding Guidelines Magic Numbers Comments Braces Chapter Summary Programming Exercises Introduction to MuPAD Graphics Obtaining Quick Plots Procedure plotfunc2d

Contents III 6.1.2 Procedure plotfun3d... 130 6.2 General Concept of MuPAD Plots... 131 6.2.1 Object Attributes & Options... 135 6.3 Object Options... 139 6.3.1 Color... 139 6.3.2 Grid... 142 6.3.3 Smoothness.

.. 150 6.3.11 Discont... 150 6.3.12 Title & TitlePosition... 150 6.4 Scene-Specific Plotting Options... 151 6.4.1 Axes... 151 6.4.2 Labeling... 151 6.4.3 Environment... 152 6.4.5 Output... 153 6.4.6 Object Options Defined in Scene.

9 Contents III Procedure plotfun3d General Concept of MuPAD Plots Object Attributes & Options Object Options Color Grid Smoothness LineWidth LineStyle Style for 20 Objects Style for 3D Objects PointStyle & PointWidth Filled RealValuesOnly Discont Title & TitlePosition Scene-Specific Plotting Options Axes Labeling Environment Output Object Options Defined in Scene Operations on Graphical Objects Operation copy Operation modify Operation Group Chapter Summary Programming Exercises Exploring Mathematical Curves and Surfaces VCam Tool Plots in 20 Space & Plot Types Procedure Function2d Procedure Curve2d

IV MuPAD Pro Computing Essentials 7.2.3 Developing Polar Plots... 176 7.2.4 Developing Implicit Plots... 178 7.3 Plots in 3D Space... 184 7.3.1 Procedure Function3d... 184 7.3.2 Procedure Surface3d.

A Few Applications of MuPAD Graphics...... 207 8.1 Calculus Graphics... 207 8.1.1 Plotting Contours... 207 8.1.2 Developing Density Plots... 211 8.1.3 Vector Fields... 213 8.1.4 Plotting Inequalities.

3 Working with Geometry Objects... 224 8.4 Turtle Graphics & L -systems... 236 8.4.1 Turtle Graphics in MuPAD... 236 8.4.2 Plotting L-systems... 240 8.5 Chapter Summary... 245 8.

10 IV MuPAD Pro Computing Essentials Developing Polar Plots Developing Implicit Plots Plots in 3D Space Procedure Function3d Procedure Surface3d Procedure spherical Procedure cylindrical Procedure Curve3d Chapter Summary Programming Exercises A Few Applications of MuPAD Graphics Calculus Graphics Plotting Contours Developing Density Plots Vector Fields Plotting Inequalities Operations on Functions Presentation Graphics Presentation Graphics in MuPAD Version Presentation Graphics in MuPAD Versions 2.x Working with Geometry Objects Turtle Graphics & L -systems Turtle Graphics in MuPAD Plotting L-systems Chapter Summary Pro rammin Exercises Exploring Numbers with MuPAD Integers in MuPAD Rational Numbers in MuPAD Real Numbers in MuPAD Complex Numbers in MuPAD Chapter Summary Programming Exercises

Contents v 10.1 Polynomials...... 283 10.2 Rational Expressions... 290 10.3 Algebraic Expressions... 293 10.

7 Programming Exercises... 309 11. Working with Sets and Sentences MuPAD. 311 11.1 Logic in MuPAD... 311 11.1.1 Polish Notation... 314 11.

1 Limits... 333 12.2 Derivative... 340 12.3 Working with Integrals... 350 12.4 Infinite Series and Products... 359 12.

6 Chapter Summary... 371 13. Linear Equations, Matrices and Determinants... 377 13.1 Checking Resources... 377 13.2 Solving Linear Equations.

11 Contents v 10.1 Polynomials Rational Expressions Algebraic Expressions Trigonometric and other Functions Solving Equations and Inequalities Chapter Summary Programming Exercises Working with Sets and Sentences MuPAD Logic in MuPAD Polish Notation Working with Sets Chapter Summary Programming Exercises Exploring Calculus with MuPAD Limits Derivative Working with Integrals Infinite Series and Products Calculus of Two Variables Limits of Functions of Two Variables Partial Derivatives Chapter Summary Linear Equations, Matrices and Determinants Checking Resources Solving Linear Equations Matrices and Operations on Matrices Declaring Matrices in MuPAD Global Operations on Matrices Local Matrix Operations Determinants

MuPAD Pro Computing Essentials 13.5 Chapter Summary... 406 13.6 Programming Exercises... 409 Appendix 1: MuPAD Libraries and Procedures... 413 A1.1 MuPAD Libraries (ver. 2.5, 18/01/2002)... 414 A1.

6 Library 'Cat' - Category Constructors...423 A1.7 Library 'combinat' - Combinatorial Functions... 424 A1.8 Library 'detools' - Methods for Differential Equations... 425 A1.

12 MuPAD Pro Computing Essentials 13.5 Chapter Summary Programming Exercises Appendix 1: MuPAD Libraries and Procedures A1.1 MuPAD Libraries (ver. 2.5, 18/01/2002) A1.2 Operators Represented by Symbols A1.3 MuPAD Standard Collecton ,,1.4 Library 'adt' - Abstract Data Types A 1.5 Library 'Ax' - Basic Axiom Constructors A1.6 Library 'Cat' - Category Constructors A1.7 Library 'combinat' - Combinatorial Functions A1.8 Library 'detools' - Methods for Differential Equations A1.9 Library 'Dom' - Domain Constructors A1.10 Library 'fp' - Utilities for Functional Programming A1.11 Library 'generate' - Generate Foreign Formats A1.12 Library 'groebner' - Utilities for Groebner Bases Library 'import' - Utilities for Reading Data A1.14 Library 'intlib' - Definite and Indefinite Integration A1.15 Library 'linalg' - the Linear Algebra Package A1.16 Library 'Unopt' - Tools for Linear Optimization A1.17 Library 'listlib' - Operations on Lists A1.18 Library 'matchlib' - Pattern Matching Tools A1.19 Library 'module' - Module Management Tools A1.20 Library 'Network' - Tools for Directed Graphs A1.21 Library 'numeric' - Tools for Numerical Methods A1.22 Library 'numlib' - Elementary Number Theory A1.23 Library 'orthpoly' - Orthogonal Polynomials A1.24 Library 'output' - Tools for the Output of Data A1.25 Library 'plot' and 3D Graphical Objects A1.26 Library 'polylib' - Tools for Polynomials A1.27 Library 'prog' - Programming Utilities A1.28 Library 'property' - Properties of Identifiers A1.29 Library 'RGB' - Color Names A1.30 Library 'Series' - Tools for Series Expansions

Contents VII A1.31 Library 'solvelib' - Tools for Solving Equations... 444 A1.32 Library 'specfunc' - Elementary and Special Functions... 445 1.33 Library 'stats' - Statistical Functions... 446 A1.

13 Contents VII A1.31 Library 'solvelib' - Tools for Solving Equations A1.32 Library 'specfunc' - Elementary and Special Functions Library 'stats' - Statistical Functions A1.34 Library 'stringlib' - Tools for String Manipulation A1.35 Library 'student' - the Student Package A1.36 Library 'transform' - Integral Transformations Library 'Type' - Predefined Types ,<\1.38 MuPAD Environmental Variables Appendix 2: MuPAD Resources

Mathematics. Mathematics

Mathematics. Mathematics Mathematics Program Description Successful completion of this major will assure competence in mathematics through differential and integral calculus, providing an adequate background for employment in